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

作     者：李绍勇 肖兴达 蔡颖 厚彩琴 韩喜莲 马兵善 LI Shao-yong;XIAO Xing-da;CAI Ying;HOU Cai-qin;HAN Xi-lian;MA Bing-shan

作者机构：兰州理工大学土木工程学院甘肃兰州730050 开封大学电子电气工程学院河南开封475004 

出 版 物：《控制理论与应用》 (Control Theory & Applications)

年 卷 期：2017年第34卷第2期

页      面：243-250页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金项目(61364004) 国家出国留学人员基金项目(5049 201408625045) 兰州理工大学博士研究基金项目(B04–237) 兰州理工大学建工七七基金项目(TM–QK–1301)资助~~ 

主　　题：Petri网 死锁控制 基本信标 最大可达数 最大许可行为数目 

摘      要：针对普通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.