Petri网的子类G-system网的死锁控制策略
李绍勇1
安爱民2
蔡颖1
厚彩琴1
韩喜莲1
王瑛1
1.兰州理工大学土木工程学院,甘肃兰州,7300502.兰州理工大学电气工程与信息工程学院,甘肃兰州,730050
摘要：由于柔性制造系统中的死锁问题与对应建模Petri网中信标密切相关,如何准确和快捷地求解这样的信标,对于基于信标可控的死锁控制策略设计而言,是十分重要的.本文提出了基于G-system网灵巧信标的迭代式求解与受控的死锁控制策略.与目前求解导致死锁信标所采用的部分枚举方法相比,该方法避免了先求解出最大的死标识信标,进而从中提取极小信标的步骤,提高了信标的计算效率.同时,通过添加适当的控制库所,使得灵巧信标满足max'-controlled,获取的活性受控G-system网系统的许可行为数目可以得到进一步的提升.通过理论分析和算例验证,表明了该死锁控制策略的正确性和有效性.
关键词：柔性制造系统Petri网死锁控制灵巧信标活性受控系统
分类号：TP273(自动化技术及设备)
资助基金：国家自然科学基金(61364004,61064003,51266006,50978129)甘肃省自然科学基金(0903ZTB107)甘肃省高等学校基本科研业务费专项(1103ZTC143)兰州理工大学建工七七基金(TM-QK-1301)
论文发表日期：2013-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：8( 1429-1436 )
英文信息