Improvement of Suboptimal Siphon- and FBM-Based Control Model of a Well-Known ${\rm S}^{3}{\rm PR}$

Siphon-based deadlock control of Flexible Manufacturing System (FMS) runs faster by avoiding reachability analysis, but reaches fewer states than an optimal. First-met bad marking (FBM) method requires more monitors, but reaches more states by refining some monitors with smaller (hence less disturbed) controller regions. However, the same refinement leads to more monitors for other siphons, which can be combined without losing states. This paper develops the formal theory to uncover the secret behind the above discrepancy. It improves the siphon-based approach to reach more states while using fewer monitors.

[1]  Mi Zhao,et al.  A Deadlock Prevention Policy for a Class of Petri Nets S3PMR , 2009, J. Inf. Sci. Eng..

[2]  Guanjun Liu,et al.  A simple Suboptimal siphon‐based control model of a well‐known S3PR , 2012 .

[3]  Zhiwu Li,et al.  An optimal-elementary-siphons-based iterative deadlock prevention policy for flexible manufacturing systems , 2008 .

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

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

[6]  ZhiWu Li,et al.  Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior , 2009, IEEE Transactions on Automation Science and Engineering.

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

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

[9]  Luigi Piroddi,et al.  A resource decoupling approach for deadlock prevention in FMS , 2009 .

[10]  Daniel Yuh Chao.  A Graphic-Algebraic Computation of Elementary Siphons of BS3PR , 2007, J. Inf. Sci. Eng..

[11]  Daniel Y. Chao.  Fewer Monitors and More Efficient Controllability for Deadlock Control in S3PGR2 (Systems of Simple Sequential Processes with General Resource Requirements) , 2010, Comput. J..

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

[13]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[14]  ZhiWu Li,et al.  Liveness Enforcing Supervision in Video Streaming Systems using Siphons , 2009, J. Inf. Sci. Eng..

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

[16]  MengChu Zhou,et al.  Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS , 2007 .

[17]  ZhiWu Li,et al.  Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs , 2009, Comput. Ind. Eng..

[18]  MuDer Jeng,et al.  A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions , 2008, IEEE Transactions on Automation Science and Engineering.

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

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

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

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

[23]  Murat Uzam,et al.  The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems , 2004 .

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

[25]  Daniel Yuh Chao,et al.  An Incremental Approach to Extracting Minimal Bad Siphons , 2007, J. Inf. Sci. Eng..

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

[27]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

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

[29]  Daniel Yuh Chao,et al.  Computation of Elementary Siphons in Petri Nets For Deadlock Control , 2006, Comput. J..

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

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

[32]  MengChu Zhou,et al.  Deadlock control of concurrent manufacturing processes sharing finite resources , 2008 .

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

[34]  Zhiwu Li,et al.  Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources , 2009 .

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