普通Petri网最大可达数的两段式死锁控制策略

• 作者: 厚彩琴 李绍勇 肖兴达 蔡颖 韩喜莲 马兵善
• 来源期刊: 控制理论与应用
• 学科: 工学
• 关键词: Petri网 死锁控制 基本信标 最大可达数 最大许可行为数目
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 论文与报告
• 页码范围: 243-250
• 页数: 8页
• 分类号: TP273
• 字数: 11082字
• 语种: 中文
• DOI: 10.7641/CTA.2017.60064

摘要

针对普通Petri网的死锁问题,本文提出了可实现最大可达数的两段式死锁控制策略(deadlock control policy,DCP).第1步,该策略求解原网(No,Mo)的基本信标(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*)可达数目与原网(No,Mo)是相同的,且最大可达数(maximally reachable number,MRN)高于最大许可行为数目NMPB.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李绍勇	兰州理工大学土木工程学院	21	55	4.0	6.0
2	厚彩琴	兰州理工大学土木工程学院	18	55	4.0	6.0
3	韩喜莲	兰州理工大学土木工程学院	18	66	5.0	7.0
4	肖兴达	开封大学电子电气工程学院	15	59	4.0	6.0
5	马兵善	兰州理工大学土木工程学院	20	42	4.0	6.0
6	蔡颖	兰州理工大学土木工程学院	8	29	3.0	5.0