普通Petri网最大可达数的两段式死锁控制策略
李绍勇1
肖兴达2
蔡颖1
厚彩琴1
韩喜莲1
马兵善1
1.兰州理工大学土木工程学院,甘肃兰州,7300502.开封大学电子电气工程学院,河南开封,475004
摘要：针对普通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.
关键词：Petri网死锁控制基本信标最大可达数最大许可行为数目
分类号：TP273(自动化技术及设备)
论文发表日期：2017-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：8( 243-250 )
英文信息