控制理论与应用2011，Vol.28Issue(6)：771-780,10.
应用必需信标的Petri网死锁预防策略
A deadlock prevention policy in Petri nets using necessary siphons
摘要
Abstract
This paper puts forward the concept of necessary siphons that characterizes the deadlock problem in a subclass of Petri nets S4R(system of sequential systems with shared resources) and a deadlock prevention policy combining the mixed integer programming(MIP) and the control of necessary siphons. In the iteration of the proposed policy, the MIP-based deadlock-detection method explores whether a maximal deadly marked siphon exists in the controlled Petri net; if it is, this siphon is identified by the method of classification of places, and extracted as a necessary siphon to be controlled. A proper control place(CP) is applied to the necessary siphon to make it max-controlled, thus, ensuring the liveness of the controlled Petri nets. Theoretical analysis and an experimental example show the efficacy of the proposed policy.关键词
Petri网/死锁预防/混合整数规划/必需信标Key words
Petri nets/deadlock prevention/mixed integer programming(MIP)/necessary siphons分类
信息技术与安全科学引用本文复制引用
李绍勇,王安荣..应用必需信标的Petri网死锁预防策略[J].控制理论与应用,2011,28(6):771-780,10.基金项目
国家自然科学基金资助项目(60773001,61074035,61064003) （60773001,61074035,61064003）
教育部高等学校博士点基金资助项目(20090203110009) （20090203110009）
国家高科技发展规划“863”计划资助项目(2008AA04Z109) （2008AA04Z109）
西安电子科技大学基本科研业务费资助项目 （）
Alexander yon Humboldt Foundation研究基金资助项目 （）
