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

• 作者: 庄巧莉 戴文战 王寿光
• 来源期刊: 控制理论与应用
• 学科: 工学
• 关键词: Petri网 柔性制造系统 死锁检测 混合整数规划
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 论文与报告
• 页码范围: 374-379
• 页数: 6页
• 分类号: TP273
• 字数: 5829字
• 语种: 中文
• DOI: 10.7641/CTA.2015.40295

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戴文战	浙江工商大学信息与电子工程学院	52	889	12.0	29.0
2	庄巧莉	浙江理工大学信息学院	12	30	3.0	5.0
3	王寿光	浙江工商大学信息与电子工程学院	8	23	3.0	4.0