基于混合整数规划的一般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#可控性条件更宽松,可适用于更多类型的一般网,为解决大规模柔性制造系统中死锁监督控制器的结构复杂性问题提供了有力的理论支撑.

关键词：Petri网、柔性制造系统、死锁检测、混合整数规划

所属期刊栏目：32

分类号：TP273(自动化技术及设备)

资助基金：国家自然科学基金项目61374022,61472361,61100056;浙江省杰出青年基金项目LR14F020001资助.Supported by National Natural Science Foundation of China61374022,61472361,61100056;Zhejiang Province Science Fund for Distinguished Young ScholarsLR14F020001

在线出版日期：2015-05-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：374-379