An iterative Deadlock Prevention Policy Based on siphons

In deadlock prevention policies based on siphon control the selection of a siphon to be controlled in each iteration may affect the structural complexity and the behavioral permissiveness of the controlled system. In this paper, an iterative deadlock prevention policy based on mixed integer programming (MIP) is introduced for a class of Petri nets called systems of sequential systems with shared resources (S⁴PR). Some experiments show that the resultant system obtained by the proposed policy has simpler structure and more permissive behavior than those obtained from existing methods.