Maximally permissive deadlock prevention via an invariant controlled method

References

• Chen , Y.F. and Li , Z.W. 2011 . Design of a maximally permissive liveness-enforcing supervisor with compressed supervisory structure for flexible manufacturing systems . Automatica , 47 ( 5 ) : 1028 – 1034 .
   Web of Science ®Google Scholar
• Chen , Y.F. 2011 . Design of maximally permissive liveness-enforcing petri net supervisor for flexible manufacturing systems . IEEE Transactions on Automation Science and Engineering , 8 ( 2 ) : 374 – 393 .
   Web of Science ®Google Scholar
• Chen , Y.F. , Li , Z.W. and Zhou , M.C. 2012 . Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems . IEEE Transactions on Systems, Man, and Cybernetics, Part A , 42 ( 3 ) : 615 – 629 .
   Web of Science ®Google Scholar
• Cordone, R. and Piroddi, L. 2011. Monitor optimization in Petri net control. In: Proceedings of the IEEE conference on automation science and engineering, 24–27 August 2011, Trieste, Italy, 413–418.
   Google Scholar
• Ezpeleta , J. , Colom , J.M. and Martinez , J. 1995 . A Petri net based deadlock prevention policy for flexible manufacturing systems . IEEE Transactions on Robotics and Automation , 11 ( 2 ) : 173 – 184 .
   Google Scholar
• Ghaffari , A. , Rezg , N. and Xie , X.L. 2003 . Design of a live and maximally permissive Petri net controller using the theory of regions . IEEE Transactions on Robotics and Automation , 19 ( 1 ) : 137 – 142 .
   Google Scholar
• Huang , Y.S. , Pan , Y.L. and Zhou , M.C. 2012 . Computationally improved optimal deadlock control policy for flexible manufacturing systems . IEEE Transactions on Systems, Man, and Cybernetics, Part A , 42 ( 2 ) : 404 – 415 .
   Web of Science ®Google Scholar
• Li , Z.W. and Zhou , M.C. 2004 . Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems . IEEE Transactions on Systems, Man, and Cybernetics, Part A , 34 ( 1 ) : 38 – 51 .
   Web of Science ®Google Scholar
• Li , Z.W. and Zhou , M.C. 2005 . Clarifications on the definitions of elementary siphons in Petri nets . IEEE Transactions on Systems, Man, and Cybernetics, Part A , 36 ( 6 ) : 1227 – 1229 .
   Web of Science ®Google Scholar
• Li , Z.W. and Zhou , M.C. 2006 . Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets . IEEE Transactions on Industrial Informatics , 2 ( 4 ) : 313 – 325 .
   Web of Science ®Google Scholar
• Li , Z.W. and Zhou , M.C. 2008a . On controllability of dependent siphons for deadlock prevention in generalized Petri nets . IEEE Transactions on Systems, Man, and Cybernetics, Part A , 38 ( 2 ) : 369 – 384 .
   Web of Science ®Google Scholar
• Li , Z.W. and Zhou , M.C. 2008b . Control of elementary and dependent siphons in Petri nets and their application . IEEE Transactions on Systems, Man, and Cybernetics, Part A , 38 ( 1 ) : 133 – 148 .
   Web of Science ®Google Scholar
• Li , Z.W. and Zhou , M.C. 2009 . Deadlock resolution in automated manufacturing systems: A novel Petri net approach , Berlin : Springer .
   Google Scholar
• Li , Z.W. , Zhou , M.C. and Jeng , M.D. 2008 . A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions . IEEE Transactions on Automation Science and Engineering , 5 ( 1 ) : 182 – 188 .
   Web of Science ®Google Scholar
• Nazeem, A. and Reveliotis, S. 2011. Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory. In: Proceedings of the IEEE conference on automation science and engineering, 24–27 August 2011, Trieste, Italy, 405–412.
   Google Scholar
• Nazeem , A. 2011 . Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: The linear case . IEEE Transactions on Automatic Control , 56 ( 8 ) : 1818 – 1833 .
   Web of Science ®Google Scholar
• Park , J. and Reveliotis , S.A. 2001 . Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings . IEEE Transactions on Automatic Control , 46 ( 10 ) : 1572 – 1583 .
   Web of Science ®Google Scholar
• Piroddi , L. , Cordone , R. and Fumagalli , I. 2008 . Selective siphon control for deadlock prevention in Petri nets . IEEE Transactions on Systems, Man, and Cybernetics, Part A , 38 ( 6 ) : 1337 – 1348 .
   Web of Science ®Google Scholar
• Piroddi , L. , Cordone , R. and Fumagalli , I. 2009 . Combined siphon and marking generation for deadlock prevention in Petri nets . IEEE Transactions on Systems, Man, and Cybernetics, Part A , 39 ( 3 ) : 650 – 661 .
   Web of Science ®Google Scholar
• Uzam , M. 2002 . An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions . International Journal of Advanced Manufacturing Technology , 19 ( 3 ) : 192 – 208 .
   Web of Science ®Google Scholar
• Uzam , M. 2004 . The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems . International Journal of Advanced Manufacturing Technology , 23 ( 3/4 ) : 204 – 219 .
   Web of Science ®Google Scholar
• Uzam , M. and Zhou , M.C. 2006 . An improved iterative synthesis approach for liveness enforcing supervisors of flexible manufacturing systems . International Journal of Production Research , 44 ( 10 ) : 1987 – 2030 .
   Web of Science ®Google Scholar
• Uzam , M. , Li , Z.W. and Zhou , M.C. 2007 . Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS . International Journal of Advanced Manufacturing Technology , 35 : 150 – 168 .
   Web of Science ®Google Scholar
• Wu , N.Q. 1999 . Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model . IEEE Transactions on Systems, Man, and Cybernetics, Part C , 29 ( 2 ) : 192 – 204 .
   Web of Science ®Google Scholar
• Wu , N.Q. and Zhou , M.C. 2001 . Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems based on a Petri net model . IEEE Transactions on Robotics and Automation , 17 ( 5 ) : 658 – 669 .
   Google Scholar
• Wu , N.Q. and Zhou , M.C. 2004 . Modeling and deadlock control of automated guided vehicle systems . IEEE/ASME Transactions on Mechatronics , 9 ( 1 ) : 50 – 57 .
   Web of Science ®Google Scholar
• Wu , N.Q. and Zhou , M.C. 2005 . Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles . IEEE Transactions on Systems, Man, and Cybernetics, Part B , 35 ( 6 ) : 1193 – 1202 .
   PubMed Web of Science ®Google Scholar
• Wu , N.Q. and Zhou , M.C. 2007 . Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets . International Journal of Production Research , 45 ( 15 ) : 3439 – 3456 .
   Web of Science ®Google Scholar
• Wu , N.Q. , Zhou , M.C. and Li , Z.W. 2008 . Resource-oriented Petri net for deadlock avoidance in flexible assembly systems . IEEE Transactions on System, Man, and Cybernetics, Part A , 38 ( 1 ) : 56 – 69 .
   Web of Science ®Google Scholar
• Xing , K.Y. 2009 . Optimal Petri net-based polynomial-complexity deadlock avoidance policies for automated manufacturing systems . IEEE Transactions on Systems, Man, and Cybernetics, Part A , 39 ( 1 ) : 188 – 199 .
   Web of Science ®Google Scholar
• Yamalidou , K. 1996 . Feedback control of Petri nets based on place invariants . Automatica , 32 ( 1 ) : 15 – 28 .
   Web of Science ®Google Scholar
• Zhou , M.C. and DiCesare , F. 1991 . Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources . IEEE Transactions on Robotics and Automation , 7 ( 4 ) : 515 – 527 .
   Google Scholar
• Zhou , M.C. and DiCesare , F. 1993 . Petri net synthesis for discrete event control of manufacturing systems , London : Kluwer Academic .
   Google Scholar
• Zhou , M.C. , DiCesare , F. and Desrochers , A.A. 1992 . A hybrid methodology for synthesis of Petri nets for manufacturing systems . IEEE Transactions on Robotics and Automation , 8 ( 3 ) : 350 – 361 .
   Google Scholar
• Zhou , M.C. , DiCesare , F. and Rudolph , D. 1992 . Design and implementation of a Petri net based supervisor for a flexible manufacturing system . Automatica , 28 ( 6 ) : 1199 – 1208 .
   Web of Science ®Google Scholar