Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[3]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[4]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

[5]  Richard A. Wysk,et al.  Detection of deadlocks in flexible manufacturing cells , 1991, IEEE Trans. Robotics Autom..

[6]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[7]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

[8]  Li-Chen Fu,et al.  A Petri net based approach to modeling and scheduling for an FMS and a case study , 1994, IEEE Trans. Ind. Electron..

[9]  Hyunbo Cho,et al.  Graph-theoretic deadlock detection and resolution for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[10]  MuDer Jeng,et al.  Modular synthesis of Petri nets for modeling flexible manufacturing systems , 1995 .

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

[12]  MuDer Jeng,et al.  Synthesis using resource control nets for modeling shared-resource systems , 1995, IEEE Trans. Robotics Autom..

[13]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[14]  Spyros A. Reveliotis,et al.  Deadlock avoidance policies for automated manufacturing cells , 1996, IEEE Trans. Robotics Autom..

[15]  Haoxun Chen,et al.  Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources , 1996 .

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

[17]  P. Antsaklis,et al.  Reduced-order controllers for continuous and discrete-time singular H ∞ control problems based on LMI , 1996 .

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

[19]  Mark Lawley,et al.  Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems , 1997, IEEE Trans. Autom. Control..

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

[21]  Maria Pia Fanti,et al.  Event-based feedback control for deadlock avoidance in flexible production systems , 1997, IEEE Trans. Robotics Autom..

[22]  MuDer Jeng,et al.  A Petri net synthesis theory for modeling flexible manufacturing systems , 1997, IEEE Trans. Syst. Man Cybern. Part B.

[23]  John P.T. Mo,et al.  Petri net modelling and design of task oriented messaging system for robot control , 1998 .

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

[25]  MuDer Jeng,et al.  A Heuristic Search Approach Using Approximate Solutions to Petri Net State Equations for Scheduling Flexible Manufacturing Systems , 1998 .

[26]  MuDer Jeng,et al.  Analysis of modularly composed nets by siphons , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[27]  Panos J. Antsaklis,et al.  Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..

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

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

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

[31]  MuDer Jeng,et al.  Process nets with resources for manufacturing modeling and their analysis , 2002, IEEE Trans. Robotics Autom..

[32]  Jonghun Park,et al.  Policy mixtures: a novel approach for enhancing the operational flexibility of resource allocation systems with alternate routings , 2002, IEEE Trans. Robotics Autom..

[33]  Panos J. Antsaklis,et al.  Synthesis of deadlock prevention supervisors using Petri nets , 2002, IEEE Trans. Robotics Autom..

[34]  Hongnian Yu,et al.  Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems-part I: Petri net modelling and heuristic search , 2003 .

[35]  Nidhal Rezg,et al.  Design of a live and maximally permissive Petri net controller using the theory of regions , 2003, IEEE Trans. Robotics Autom..

[36]  Panos J. Antsaklis,et al.  Design of T-liveness enforcing supervisors in Petri nets , 2003, IEEE Trans. Autom. Control..

[37]  Panos J. Antsaklis,et al.  Synthesis of supervisors enforcing general linear constraints in Petri nets , 2003, IEEE Trans. Autom. Control..

[38]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

[40]  Maria Pia Fanti.  Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

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

[43]  W. M. Wonham,et al.  A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets , 2006 .

[44]  Robert J. Wood,et al.  Towards a 3g crawling robot through the integration of microrobot technologies , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

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

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