Petri网的子类G–system网的死锁控制策略

作者：李绍勇; 安爱民; 蔡颖; 厚彩琴; 韩喜莲; 王瑛

来源：控制理论与应用, 2013, (11): 1429-1436.

• 柔性制造系统
• Petri网
• 死锁控制
• 灵巧信标
• 活性受控系统 flexible manufacturing system
• Petri nets
• deadlock control
• smart siphon
• live controlled system

由于柔性制造系统中的死锁问题与对应建模Petri网中信标密切相关,如何准确和快捷地求解这样的信标,对于基于信标可控的死锁控制策略设计而言,是十分重要的.本文提出了基于G-system网灵巧信标的迭代式求解与受控的死锁控制策略.与目前求解导致死锁信标所采用的部分枚举方法相比,该方法避免了先求解出最大的死标识信标,进而从中提取极小信标的步骤,提高了信标的计算效率.同时,通过添加适当的控制库所,使得灵巧信标满足max0-controlled,获取的活性受控G–system网系统的许可行为数目可以得到进一步的提升.通过理论分析和算例验证,表明了该死锁控制策略的正确性和有效性.

• 出版日期2013
• 单位兰州理工大学