应用必需信标的Petri网死锁预防策略
李绍勇1
王安荣2
1.西安电子科技大学机电工程学院,陕西西安,7100712.兰州理工大学土木工程学院,甘肃兰州,730050
摘要：本文提出了表征一个Petri网子类,即S4R网(system of sequential systems with shared resources)中死锁问题的必需信标的概念和一种将混合整数规划算法与必需信标控制相结合的死锁预防策略.在该策略的迭代过程中,混合整数规划算法发现被控的Petri网中是否存在最大的死标识信标,若存在,则通过库所分类和迭代式的信标提取,得到必需信标,添加相应的控制库所,满足必需信标的最大可控性,从而实现被控的Petri网活性的目的.理论分析和算例验证表明了该策略的正确性和有效性.
关键词：Petri网死锁预防混合整数规划必需信标
分类号：TP273(自动化技术及设备)
论文发表日期：2011-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：10( 771-780 )
英文信息