An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets

Elementary siphons play an important role in designing deadlock prevention policies for flexible manufacturing systems modeling by Petri nets. This article proposes a deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets. First, we solve all elementary siphons and dependent siphons and then add both a control place and a control transition to each elementary siphon so that an extended net system ( N ′ , M ′ ) is obtained. Second, by constructing an integer programming problem of P-invariants of ( N ′ , M ′ ) , the controllability test for dependent siphons in N ′ is performed via this integer programming problem. Accordingly, a few of control places and control transitions are added for those dependent siphons that do not meet controllability as well. Therefore, a live controlled system ( N * , M * ) with maximally reachable number rather than number of maximally permissive behavior can be achieved. The correctness and efficiency of the proposed deadlock control algorithm is verified by a theoretical analysis and several examples that belong to ordinary Petri nets. Unlike these deadlock prevention policies with number of maximally permissive behavior in the existing literature, the proposed deadlock control algorithm can generally obtain a live controlled system ( N * , M * ) whose reachable number is the same as that of an original uncontrolled net (N0, M0), that is, maximally reachable number is greater than number of maximally permissive behavior.

[1]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[2]  MuDer Jeng,et al.  Deadlock prevention policy based on Petri nets and siphons , 2001 .

[3]  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.

[4]  Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[5]  MengChu Zhou,et al.  Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2006, IEEE Transactions on Industrial Informatics.

[6]  MengChu Zhou,et al.  An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems , 2006 .

[7]  Yi-Sheng Huang.  Design of deadlock prevention supervisors using Petri nets , 2007 .

[8]  H. S. Hu,et al.  Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[9]  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.

[10]  Mi Zhao,et al.  On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[11]  D. Chao.  Direct minimal empty siphon computation using MIP , 2009 .

[12]  Roberto Cordone,et al.  Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[13]  MengChu Zhou,et al.  Deadlock Resolution in Automated Manufacturing Systems , 2009 .

[14]  Daniel Yuh Chao.  Reaching more states for control of FMS , 2010 .

[15]  Yi-Sheng Huang,et al.  Synthesis of deadlock prevention policy using Petri nets reachability graph technique , 2010 .

[16]  Yufeng Chen,et al.  Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems , 2011, Autom..

[17]  ZhiWu Li,et al.  Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets , 2011, Int. J. Comput. Integr. Manuf..

[18]  D. Chao,et al.  Segment theory to compute elementary siphons in Petri nets for deadlock control , 2011 .

[19]  Shao-Yong Li,et al.  Structure reduction of liveness-enforcing Petri nets using mixed integer programming† , 2012 .

[20]  A. Al-Ahmari,et al.  An extraction algorithm for a set of elementary siphons based on mixed-integer programming , 2012 .

[21]  MengChu Zhou,et al.  Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[22]  Daniel Yuh Chao,et al.  A new optimal control policy for a well-known S3PR (systems of simple sequential processes with resources) , 2012 .

[23]  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).

[24]  Li Shao-yon.  A deadlock control policy for a subclass of Petri nets G–system , 2013 .

[25]  Gang Wang,et al.  Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons , 2013, J. Intell. Manuf..

[26]  MengChu Zhou,et al.  Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach , 2014, IEEE Transactions on Automation Science and Engineering.

[27]  Kamel Barkaoui,et al.  New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[28]  Zhiwu Li,et al.  On an iterative deadlock prevention approach for automated manufacturing systems , 2014 .

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

[30]  Ying Wang,et al.  Policy to cope with deadlocks and livelocks for flexible manufacturing systems using the max′-controlled new smart siphons , 2014 .

[31]  MengChu Zhou,et al.  Lexicographic Multiobjective Integer Programming for Optimal and Structurally Minimal Petri Net Supervisors of Automated Manufacturing Systems , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[32]  Kamel Barkaoui,et al.  On the enforcement of a class of nonlinear constraints on Petri nets , 2015, Autom..

[33]  A. Wang,et al.  Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors , 2015 .

[34]  Hang Zhu,et al.  On Further Reduction of Constraints in “Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems” , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[35]  MengChu Zhou,et al.  Synthesis of Petri net supervisors for FMS via redundant constraint elimination , 2015, Autom..

[36]  Kamel Barkaoui,et al.  A survey of siphons in Petri nets , 2016, Inf. Sci..

[37]  Huixia Liu,et al.  Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources , 2016, Inf. Sci..

[38]  Alessandro Giua,et al.  On the Equivalence of Observation Structures for Petri Net Generators , 2016, IEEE Transactions on Automatic Control.

[39]  Mi Zhao,et al.  An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets , 2016 .

[40]  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.

[41]  Abdulrahman Al-Ahmari,et al.  Deadlock recovery for flexible manufacturing systems modeled with Petri nets , 2017, Inf. Sci..

[42]  Kamel Barkaoui,et al.  Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[43]  Alessandro Giua,et al.  Verification of State-Based Opacity Using Petri Nets , 2017, IEEE Transactions on Automatic Control.