An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets

We propose a new deadlock prevention policy for an important class of resource allocation systems (RASs) that appear in the modeling of flexible manufacturing systems (FMSs). The model of this class in terms of generalized Petri nets is, namely, S4PR. On the basis of recent structural analysis results related to the elementary siphons in generalized Petri nets on one hand and an efficient deadlock avoidance policy proposed for the class of conjunctive/disjunctive (C/D) RASs on the other hand, we show how one can generate monitors to be added to a net system such that all its strict minimal siphons are -controlled and no insufficiently marked siphon is generated. Thereby, a new, simple, and more permissive liveness-enforcing supervisor synthesis method for S4PR is established.

[1]  Jonghun Park,et al.  On the “Counter-Example” in the Article “Max $^{\prime}$-Controlled Siphons for Liveness of $S^{3}PGR^{2}$” Regarding the Results in “Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings” , 2001, IEEE Transactions on Automatic Control.

[2]  D. Chao.  Max'-controlled siphons for liveness of S/sup 3/PGR/sup 2/ , 2007 .

[3]  Abdulrahman Al-Ahmari,et al.  Optimal controllability of 3-composed siphons in a class of Petri nets , 2013 .

[4]  Chunfu Zhong,et al.  A deadlock prevention policy for a class of Petri net models of flexible manufacturing systems , 2011 .

[5]  Mi Zhao,et al.  Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming , 2010, Int. J. Syst. Sci..

[6]  Joaquín Ezpeleta,et al.  An Iterative Method for Deadlock Prevention in FMS , 2000 .

[7]  Olfa Mosbahi,et al.  Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems , 2011, IEEE Transactions on Automation Science and Engineering.

[8]  Zhiwu Li,et al.  Special issue on “Petri Nets for system control and automation” , 2010 .

[9]  Yufeng Chen,et al.  On structural minimality of optimal supervisors for flexible manufacturing systems , 2012, Autom..

[10]  Alessandro Giua,et al.  Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[11]  Joaquín Ezpeleta,et al.  A Petri Net Structure– Based Deadlock Prevention Solution for Sequential Resource Allocation Systems , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[12]  Kamel Barkaoui,et al.  Supervisory control of discrete event systems based on structure theory of Petri nets , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[13]  Kamel Barkaoui,et al.  On Liveness and Controlled Siphons in Petri Nets , 1996, Application and Theory of Petri Nets.

[14]  Elia E. Cano,et al.  An algorithm to compute the minimal siphons in S4PR nets , 2010, WODES.

[15]  MengChu Zhou,et al.  Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[16]  MengChu Zhou,et al.  Control of Elementary and Dependent Siphons in Petri Nets and Their Application , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[17]  Ding Liu,et al.  Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming , 2010, Int. J. Control.

[18]  Yen-Liang Pan,et al.  An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach , 2011 .

[19]  MengChu Zhou,et al.  Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[20]  MengChu Zhou,et al.  Clarifications on the Definitions of Elementary Siphons in Petri Nets , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[21]  Zhiwu Li,et al.  Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems , 2007 .

[22]  MengChu Zhou,et al.  Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[23]  Ding Liu,et al.  Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets , 2014, Int. J. Comput. Integr. Manuf..

[24]  Zhiwu Li,et al.  Extraction of elementary siphons in a class of generalized Petri nets using graph theory , 2014 .

[25]  MengChu Zhou,et al.  Liveness of an extended S3PR , 2010, Autom..

[26]  Abdulrahman Al-Ahmari,et al.  Optimal controllability of 2-composed siphons in a class of Petri nets , 2012 .

[27]  Spyros A. Reveliotis,et al.  On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems , 2003, ICATPN.

[28]  Mi Zhao,et al.  An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming , 2013, Discret. Event Dyn. Syst..