An optimal deadlock avoidance policy for manufacturing systems with flexible operation sequence and flexible routing

Addresses the deadlock avoidance problems in manufacturing systems with sequence and route flexibility. It is shown that for a large class of such systems, through one-step look ahead, an optimal deadlock avoidance policy can be obtained. For a general system the authors present a system reduction method by which the system is reduced and the reduced system has an optimal deadlock avoidance policy. Using this optimal control policy and restricting the allocation of resources with capacity one, a sub-optimal deadlock avoidance policy for the system is obtained. The proposed policies have polynomial computation complexity.

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

[2]  Shi-Chung Chang,et al.  Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..

[3]  Mark A. Lawley,et al.  Deadlock avoidance for production systems with flexible routing , 1999, 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]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

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

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

[8]  S. Chung,et al.  Limited lookahead policies in supervisory control of discrete event systems , 1992 .

[9]  Spyros A. Reveliotis Accommodating FMS operational contingencies through routing flexibility , 1999, IEEE Trans. Robotics Autom..

[10]  Spyros A. Reveliotis,et al.  Accommodating FMS operational contingencies through routing flexibility , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[11]  Ying Tat Leung,et al.  Resolving deadlocks in flexible manufacturing cells , 1993 .