A deadlock prevention policy in Petri nets using necessary siphons
Anrong Wang · Control theory & applications · 2011
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.