基于混合整数规划的一般Petri网死锁检测方法

作     者：庄巧莉 戴文战 王寿光 ZHUANG Qiao-li;DAI Wen-zhan;WANG Shou-guang

作者机构：浙江理工大学信息学院浙江杭州310018 浙江工商大学信息与电子工程学院浙江杭州310018 

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

年 卷 期：2015年第32卷第3期

页      面：374-379页

核心收录：

学科分类：0808[工学-电气工程] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 080202[工学-机械电子工程] 0802[工学-机械工程] 0811[工学-控制科学与工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金项目(61374022 61472361 61100056) 浙江省杰出青年基金项目(LR14F020001)资助~~ 

主　　题：Petri网 柔性制造系统 死锁检测 混合整数规划 

摘      要：信标的受控性是检测柔性制造系统(flexible manufacturing system,FMS)Petri网模型是否存在死锁的关键因素.对于普通Petri网,在任何可达标识下所有信标不被清空是检测网系统非死锁的充分条件.然而,该条件对于建模能力更强的一般Petri网并不适用,max可控性条件由此产生.研究证明,该条件对于一般Petri网的死锁检测过于严格了.虽然其后有很多研究者通过改进max可控性条件以求给出条件更宽松的一般Petri网非死锁的充分条件,但大部分的研究成果都仅仅局限于一种顺序资源共享分配系统Petri网模型S4PR(systems of sequential systems with shared resources)网.因此,本文在max可控性条件的基础上提出了新的名为max#可控的信标可控性条件,并在此条件的基础上实现了基于混合整数规划(mixed integer programming,MIP)的死锁检测方法.与现有研究成果相比,max#可控性条件更宽松,可适用于更多类型的一般网,为解决大规模柔性制造系统中死锁监督控制器的结构复杂性问题提供了有力的理论支撑.