Deadlock avoidance control for manufacturing systems with multiple capacity resources

This paper addresses the problem of designing a control scheme capable of avoiding deadlock conditions for a class of manufacturing systems. The considered model for the system under control is based on Petri nets, and is formulated according to well-known modelling rules. A deadlock avoidance policy is proposed which is an extension of a previously presented one. The proofs of its main properties are briefly sketched. Finally, an example of an automated manufacturing system for which such a deadlock avoidance policy has been applied is discussed.

[1]  Yoshikazu Nishikawa,et al.  Simulation-based scheduling package-models and solutions , 1994, Proceedings of IECON'94 - 20th Annual Conference of IEEE Industrial Electronics.

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

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

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

[5]  MengChu Zhou,et al.  Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..

[6]  Sanjay B. Joshi,et al.  Deadlock-free schedules for automated manufacturing workstations , 1996, IEEE Trans. Robotics Autom..

[7]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, 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]  Tadashi Matsumoto,et al.  Necessary and Sufficient Condition of Structural Liveness for General Petri Nets with Globally Structural Live Minimal Deadlocks , 1995 .

[10]  Xiaolan Xie.  Deadlock-Free Dispatching Control of Manufacturing Systems Using Petri Nets , 1996 .

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

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

[13]  Richard A. Wysk,et al.  Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches , 1994 .

[14]  James T. Lin,et al.  Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems , 1995 .