| 普通Petri网最大可达数的两段式死锁控制策略 |
| |
| 引用本文： | 李绍勇,肖兴达,蔡颖,厚彩琴,韩喜莲,马兵善. 普通Petri网最大可达数的两段式死锁控制策略[J]. 控制理论与应用, 2017, 34(2): 243-250 |
| |
| 作者姓名： | 李绍勇 肖兴达 蔡颖 厚彩琴 韩喜莲 马兵善 |
| |
| 作者单位： | 兰州理工大学,开封大学电子电气工程学院,兰州理工大学土木工程学院,兰州理工大学土木工程学院,兰州理工大学土木工程学院,兰州理工大学土木工程学院 |
| |
| 基金项目： | 国家自然科学基金(61364004） |
| |
| 摘 要： | 针对普通Petri网的死锁问题,本文提出了可实现最大可达数的两段式死锁控制策略(deadlock control policy,DCP).第1步,该策略求解原网(N0,M0)的基本信标(elementary siphons,ES)和从属信标(dependent siphons,DS),对每个基本信标添加控制库所(control place,CP)和控制变迁(control transition,CT),获得拓展网系统(N′,M′).第2步,构建拓展网系统的P–不变式整数规划问题,测试原网中从属信标的可控性.若所有从属信标满足可控条件,则直接得到活性受控网系统(N*,M*);反之,对不满足可控条件的从属信标也添加控制库所和变迁,从而也得到了(N*,M*).通过理论分析和算例验证,表明了该死锁控制策略的正确性和有效性.相比目前文献中的可实现最大许可行为数目(number of maximally permissive behavior,NMPB)的普通Petri网死锁预防策略,该DCP获取的活性受控网系统(N*,M*)可达数目与原网(N0,M0)是相同的,且最大可达数(maximally reachable number,MRN)高于最大许可行为数目NMPB.
|
| 关 键 词： | Petri网 死锁控制 基本信标 最大可达数 最大许可行为数目 |
| 收稿时间： | 2016-01-27 |
| 修稿时间： | 2017-01-15 |
A two-stage deadlock control policy with maximally reachable number for ordinary Petri nets |
| |
| LI Shao-yong,XIAO Xing-d,CAI Ying,HOU Cai-qin,HAN Xi-lian and MA Bing-shan. A two-stage deadlock control policy with maximally reachable number for ordinary Petri nets[J]. Control Theory & Applications, 2017, 34(2): 243-250 |
| |
| Authors: | LI Shao-yong XIAO Xing-d CAI Ying HOU Cai-qin HAN Xi-lian MA Bing-shan |
| |
| Affiliation: | Lanzhou University of Technology,KAIFENG UNIVERSITY,Lan Zhou University of Technology,Lan Zhou University of Technology,Lan Zhou University of Technology,Lan Zhou University of Technology |
| |
| Abstract: | |
| |
| Keywords: | Petri nets deadlock control elementary siphon (ES) maximally reachable number (MRN) number of maximally permissive behavior (NMPB) |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《控制理论与应用》浏览原始摘要信息 |
|
点击此处可从《控制理论与应用》下载全文 |
|
