Skip to main content
SpringerLink
Log in

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

  • Original Article
  • Published:
The International Journal of Advanced Manufacturing Technology Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Banaszak ZA, Krogh BH (1990) Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans Robot Automat 6(6):724–734

    Google Scholar 

  2. Fu-Shiung, Hsieh, Chang S-C (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans Robot Automat 10(2):196–208

    Article  Google Scholar 

  3. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Automat 11(2):173184

    Google Scholar 

  4. Xing K-Y, Hu B-S, Chen H-X (1996) Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources. IEEE Trans Automat Control 41(2):289–295

    Article  Google Scholar 

  5. Lewis FL, Gurel A, Bogdan S, et al. (1998) Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems. Automatica 34(9):1083–1100

    Article  Google Scholar 

  6. Fanti MP, Maione B, Turchiano B (2000) Comparing digraph and Petri net approaches to deadlock avoidance in FMS. IEEE Trans Syst Man Cybern B 30(5):783–798

    Google Scholar 

  7. Wu N, Zhou MC (2000) Resource-oriented Petri nets for deadlock avoidance in automated manufacturing. In: Proceedings of the 2000 IEEE international conference on robotics and automation, San Francisco, CA, pp 3377–3382

  8. Wu N (1999) Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Trans Systems, Man Cybern: part C 29(2):192–204

    Google Scholar 

  9. Xiong HH, Zhou MC (1997) Deadlock-free scheduling of an automated manufacturing system based on Petri nets. In: Proceedings of the 1997 IEEE international conference on robotics and automation, Albuquerque, NM, pp 945–950

  10. Bogdan S, Lewis FL (1997) Matrix approach to deadlock avoidance of dispatching in multi-class finite buffer reentrant flow lines. In: Proceedings of the 12th IEEE international symposium on intelligent control, Istanbul, pp 397–402

  11. Dohi Y, Nomura E (1996) Petri net controller with hardware to avoid deadlocks. IEEE IECON 22nd International Conference 1:457–462

    Google Scholar 

  12. Barkaoui K, Abdallah IB (1994) An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets. IEEE international conference on systems, man, and cybernetics 1:525–530

    Google Scholar 

  13. Viswanadham N, Johnson TJ, Narahari Y (1990) Performance analysis of automated manufacturing systems with blocking and deadlock. In: Proceedings of Rensselaer’s 2nd international conference on computer integrated manufacturing pp 64–68

  14. Zhou MC, Dicesare F, Guo D (1990) Modeling and performance analysis of a resource-sharing manufacturing system using stochastic Petri nets. 5th IEEE international symposium on intelligent control 2:1005–1010

    Article  Google Scholar 

  15. Shatz SM, Tu S, Murata T, et al. (1996) An application of Petri net reduction for ada tasking deadlock analysis. IEEE Trans Parallel Distributed Syst 7(12):1307–1322

    Google Scholar 

  16. Abdallah IB, Elmaraghy HA (1998) Deadlock prevention and avoidance in FMS: A Petri net based approach. Int J Adv Manuf Technol 14(10):704–715

    Google Scholar 

  17. Murat U (2002) An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int J Adv Manuf Technol 19(3):192–208

    Google Scholar 

  18. Valckenaers P, Brussel HV (2003) Deadlock avoidance in flexible flow shops with loops. J Intell Manuf 14:137–144

    Article  Google Scholar 

  19. Ferrarini L, Piroddi L, Allegri S (1999) A comparative performance analysis of deadlock avoidance control algorithms for FMS. J Intell Manuf 14:569–585

    Article  Google Scholar 

  20. Fanti MP, Maione G, Turchiano B (2002) Design of supervisors to avoid deadlock in flexile assemble systems. Int J Flex Manuf Syst 14:153–171

    Article  Google Scholar 

  21. Lawley M, Reveliotis S (2001) Deadlock avoidance for sequential resource allocation systems: hard and easy cases. Int J Flex Manuf Syst 13:385–404

    Article  Google Scholar 

  22. Huang HH (2001) Matrix controller design and deadlock analysis of automated manufacturing systems. Part 2: deadlock avoidance policy. Int J Adv Manuf Technol 18:490-501

    Google Scholar 

  23. David (1992) Petri net and grafcet. Prentice-Hall, London

  24. Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, London

  25. Zhou MC, Zurawski R (1995) Introduction to Petri nets in flexible and agile automation. In: Zhou MC (ed) Petri nets in flexible and agile automation. Kluwer, Boston, MA, pp 1–42

Download references

Author information

Authors and Affiliations

  1. Department of Mechanical Engineering, Tsinghua University, Beijing, 100084, P.R. China

    Han Zandong

  2. Research Institute of Industrial Science & Technology, Pohang, 790-600, Korea

    Gibum Lee

Authors
  1. Han Zandong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gibum Lee
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Han Zandong.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zandong, H., Lee, G. Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems. Int J Adv Manuf Technol 25, 735–742 (2005). https://doi.org/10.1007/s00170-003-1907-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00170-003-1907-4

Keywords

Search

Navigation