Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems

Unreasonable dispatching resources to jobs in flexible manufacturing system (FMS) may result in a deadlock situation. This serious situation is studied and avoided through Petri net (PN) analysis techniques in this paper. Firstly, a production Petri net (PPN) model for a given FMS is developed. Based on a certain set of resources in PPN, the concepts of a deadlock state and a potential deadlock state are introduced. Then, we present a deadlock avoidance method that consists of two parts. One is the construction of a deadlock state equation that describes the intrinsic relationship between resources assignation and a deadlock state in PPN. This equation is a necessary and sufficient condition for the occurrence of a deadlock situation. The other is the construction of a restrictive PN controller for each deadlock state equation. This restrictive PN controller can control the resources dispatching by excluding some enabled transitions from firing, consequently avoiding the deadlock. This method is minimally restrictive and allows the maximal use of resources not only for normal FMS, but also for special FMS with cyclic deadlock structure chain (i.e., a pathological type of circular waiting structure). Finally, two applications are given to illustrate the validity of this method. The results show that this method can be efficiently implemented in practical FMS.

[1]  Maria Pia Fanti,et al.  Design of Supervisors to Avoid Deadlock in Flexible Assembly Systems , 2002 .

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

[3]  F. L. Lewis,et al.  Matrix approach to deadlock avoidance of dispatching in multi-class finite buffer reentrant flow lines , 1997, Proceedings of 12th IEEE International Symposium on Intelligent Control.

[4]  MengChu Zhou,et al.  Introduction to Petri Nets in Flexible and Agile Automation , 1995 .

[5]  Tadao Murata,et al.  An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis , 1996, IEEE Trans. Parallel Distributed Syst..

[6]  MengChu Zhou,et al.  Deadlock-free scheduling of an automated manufacturing system based on Petri nets , 1997, Proceedings of International Conference on Robotics and Automation.

[7]  H. Murakoshi,et al.  Petri net controller with hardware to avoid deadlocks , 1996, Proceedings of the 1996 IEEE IECON. 22nd International Conference on Industrial Electronics, Control, and Instrumentation.

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

[9]  H.-H. Huang,et al.  Matrix Controller Design and Deadlock Analysis of Automated Manufacturing Systems. Part 2: Deadlock Avoidance Policy , 2001 .

[10]  Naiqi Wu,et al.  Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model , 1999, IEEE Trans. Syst. Man Cybern. Part C.

[11]  Hendrik Van Brussel,et al.  Deadlock avoidance in flexible flow shops with loops , 2001, J. Intell. Manuf..

[12]  K. Barkaoui,et al.  An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

[13]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[14]  MengChu Zhou,et al.  Modeling and performance analysis of a resource-sharing manufacturing system using stochastic Petri nets , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.

[15]  MengChu Zhou,et al.  Resource-oriented Petri nets for deadlock avoidance in automated manufacturing , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[16]  Yadati Narahari,et al.  Performance analysis of automated manufacturing systems with blocking and deadlock , 1990, [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing.

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

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

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

[20]  Maria Pia Fanti,et al.  Comparing digraph and Petri net approaches to deadlock avoidance in FMS , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[21]  Frank L. Lewis,et al.  Analysis of Deadlock and Circular Waits Using a Matrix Model for Flexible Manufacturing Systems , 1998, Autom..

[22]  Luigi Piroddi,et al.  A comparative performance analysis of deadlock avoidance control algorithms for FMS , 1999, J. Intell. Manuf..

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

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