Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets

Li and Zhou propose an important concept for Petri nets: elementary siphons. They partition siphons into elementary and dependent ones. The controllability of the latter can be ensured by the former's proper control. They give a sufficient condition to decide whether a dependent siphon is controlled by its elementary ones in S3PR. However, this condition is so loose that in many cases the controllability of a dependent SMS cannot be determined although it is actually controlled. In this paper, we propose an improved condition to decide the controllability of strongly dependent SMS.

[1]  MengChu Zhou,et al.  An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[2]  Naiqi Wu,et al.  System Modeling and Control with Resource-Oriented Petri Nets , 2009 .

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

[4]  Kamel Barkaoui,et al.  Parameterized supervisor synthesis for a modular class of discrete event systems , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

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

[6]  MengChu Zhou,et al.  Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[7]  X. Xie,et al.  Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2006, IEEE Trans. Syst. Man Cybern. Part A.

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

[9]  Zhiwu Li,et al.  Smart deadlock prevention policy for flexible manufacturing systems using Petri nets , 2009 .

[10]  MengChu Zhou,et al.  Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[11]  ZhiWu Li,et al.  On systematic methods to remove redundant monitors from liveness-enforcing net supervisors , 2009, Comput. Ind. Eng..

[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.  Two Simple Deadlock Prevention Policies for ${\rm S}^{3}{\rm PR}$ Based on Key-Resource/Operation-Place Pairs , 2010, IEEE Transactions on Automation Science and Engineering.

[14]  Naiqi Wu,et al.  Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model , 1999, IEEE Trans. Syst. Man Cybern. Part C.

[15]  Feng Chu,et al.  Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..

[16]  MengChu Zhou,et al.  Deadlock Resolution in Computer-Integrated Systems , 2004 .

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

[18]  Zhiwu Li,et al.  Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .

[19]  MuDer Jeng,et al.  ERCN-merged nets and their analysis using siphons , 1999, IEEE Trans. Robotics Autom..

[20]  MengChu Zhou,et al.  Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.

[21]  Yi-Sheng Huang.  Deadlock Prevention for Sequence Resource Allocation Systems , 2007, J. Inf. Sci. Eng..

[22]  Guanjun Liu,et al.  A live subclass of petri nets and their application in modeling flexible manufacturing systems , 2009 .

[23]  MengChu Zhou,et al.  Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[24]  Chengying Wang,et al.  Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places , 2013, TECS.

[25]  MengChu Zhou,et al.  Deadlock Resolution in Automated Manufacturing Systems With Robots , 2007, IEEE Transactions on Automation Science and Engineering.

[26]  Elzbieta Roszkowska.  Supervisory control for deadlock avoidance in compound processes , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[27]  MengChu Zhou,et al.  Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..

[28]  MengChu Zhou,et al.  Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets , 2009, IEEE Transactions on Multimedia.

[29]  MengChu Zhou,et al.  Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[30]  Hoda A. ElMaraghy,et al.  Deadlock prevention and avoidance in FMS: A Petri net based approach , 1998 .

[31]  MengChu Zhou,et al.  Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.

[32]  Naiqi Wu,et al.  Modeling and deadlock control of automated guided vehicle systems , 2004 .

[33]  MengChu Zhou,et al.  Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets , 2007 .

[34]  Murat Uzam,et al.  An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions , 2002 .

[35]  Joaquín Ezpeleta,et al.  A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states , 2002, IEEE Trans. Robotics Autom..

[36]  Roberto Cordone,et al.  Selective Siphon Control for Deadlock Prevention in Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[37]  Shueng-Han Gary Chan,et al.  Fast-Mesh: A Low-Delay High-Bandwidth Mesh for Peer-to-Peer Live Streaming , 2009, IEEE Transactions on Multimedia.

[38]  Spyros Reveliotis.  Real-time management of resource allocation systems : a discrete event systems approach , 2004 .

[39]  Zhiwu Li,et al.  Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons , 2009 .

[40]  MuDer Jeng,et al.  ERCN merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[41]  Zhiwu Li,et al.  Deadlock control of flexible manufacturing systems via invariant–controlled elementary siphons of petri nets , 2007 .

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