针对普通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网、死锁控制、基本信标、最大可达数、最大许可行为数目
34
TP273(自动化技术及设备)
国家自然科学基金项目61364004;国家出国留学人员基金项目[2014]5049,201408625045;兰州理工大学博士研究基金项目B04-237;兰州理工大学建工七七基金项目TM-QK-1301资助.Supported by National Natural Science Foundation of China61364004;China Scholarship Council Foundation for Chinese Scholars to Study Overseas[2014]5049,201408625005;Doctoral Research Funds of Lanzhou University of TechnologyB04-237;Alumni Foundation Civil Engineering 77,Lanzhou University of TechnologyTM-QK-1301