Evaluating order of circuits for deadlock avoidance in a flexible manufacturing system

Circuits and knots in the diagraph model of a manufacturing system are the rudimentary causes of deadlocks - a type of deadlock that is difficult to detect. A new deadlock avoidance algorithm that dynamically evaluates the order of circuits is presented. The algorithm is highly permissive since the order evaluation captures more parts flow dynamics, especially when there exist multiple knots in the diagraph model. It also runs in polynomial time once the set of circuits of the diagraph is given. Simulation results are provided to illustrate the application of the algorithm.

[1]  Robert P. Judd,et al.  Deadlock detection and avoidance for a class of manufacturing systems , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[2]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

[3]  Luca Ferrarini,et al.  Deadlock avoidance policy for manufacturing systems , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

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

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

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

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

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

[9]  Robert P. Judd,et al.  Necessary and sufficient conditions for deadlock in manufacturing systems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

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

[11]  Spyros Reveliotis,et al.  Deadlock Avoidance for Sequential Resource Allocation Systems: Hard and Easy Cases , 2001 .

[12]  Kamel Barkaoui,et al.  Deadlock avoidance in FMS based on structural theory of Petri nets , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

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

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