Skip to main content
SpringerLink
Log in

A live subclass of petri nets and their application in modeling flexible manufacturing systems

  • ORIGINAL ARTICLE
  • Published:
The International Journal of Advanced Manufacturing Technology Aims and scope Submit manuscript

Abstract

In this paper a novel policy is proposed to solve the deadlock problem in a class of flexible manufacturing systems based on the notion that each shared buffer is partitioned into parts to store different types of products, respectively. A subclass of Petri nets called resource-shared net with buffers (RSNB) is defined. An RSNB is constructed by synthesizing some marked graphs, and each marked graph can model the process of manufacturing one type of product. RSNB cannot only model the concurrent execution of manufacturing processes, but also ensure that the modeled system is live. The process of constructing RSNB is described in detail, and a minimal siphon based necessary and sufficient condition is provided to characterize the liveness of RSNB.

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. Murata T (1989) Petri nets: properties, analysis, and applications. Proc IEEE 77:541–580

    Article  Google Scholar 

  2. Girault C, Valk R (2003) Petri nets for systems engineering-a guide to modeling, verification, and applications. Springer, Berlin

    Google Scholar 

  3. Bouyekhf R, Moudni AE (2005) On the analysis of some structural properties of Petri nets. IEEE Trans Sys Man Cybern A 35:784–794

    Article  Google Scholar 

  4. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Automat 11:173–184

    Article  Google Scholar 

  5. Li ZW, Zhou MC (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst Man Cybern A 34:38–51

    Article  Google Scholar 

  6. Viswanadham N, Narahari Y, Johnson T (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans Robot Automat 6:713–723

    Article  Google Scholar 

  7. Kumaran TK, Chang W, Cho H, Wysk RA (1994) A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems. Int J Prod Res 32:2361–2379

    Article  Google Scholar 

  8. Wysk RA, Yang NS, Joshi S (1991) Detection of deadlocks in flexible manufacturing systems. IEEE Trans Robot Automat 7:853–859

    Article  Google Scholar 

  9. Zhou MC, DiCesare F, Desrochers AA (1992) A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Trans Robot Automat 8:350–361

    Article  Google Scholar 

  10. Park J, Reveliotis SA (2002) Liveness enforcing supervision of resource allocation systems with uncontrollable behavior and forbidden states. IEEE Trans Robot Automat 18:234–239

    Article  Google Scholar 

  11. Jeng MD, Xie XL, Peng MY (2002) Process nets with resources for manufacturing modeling and their analysis. IEEE Trans Robot Automat 18:875–889

    Article  Google Scholar 

  12. Xing KY, Hu BS, Chen HX (1996) Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Trans Automat Contr 41:289–295

    Article  MATH  MathSciNet  Google Scholar 

  13. Wu NQ, Zhou MC (2001) Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Trans Robot Automat 17:658–669

    Article  Google Scholar 

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

    Article  Google Scholar 

  15. Li ZW, Wei N (2007) Deadlock control of flexible manufacturing systems via invariant-controlled elementary siphons of Petri nets. Int J Adv Manuf Technol 33:24–35

    Article  Google Scholar 

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

    Article  Google Scholar 

  17. Reveliotis SA (2007) Implicit siphon control and its role in the liveness-enforcing supervision of sequential resource allocation systems. IEEE Trans Syst Man Cybern A 37:319–328

    Article  Google Scholar 

  18. Uzam M (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:192–208

    Google Scholar 

  19. Uzam M (2004) The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int J Adv Manuf Technol 23:204–219

    Article  Google Scholar 

  20. Huang YS (2007) Design of deadlock prevention supervisors using Petri nets. Int J Adv Manuf Technol 35:349–362

    Article  Google Scholar 

  21. Tricas F, Garcia-Vallès F, Colom JM, Ezpeleta J (1998) A structural approach to the problem of deadlock prevention in processes with resources. In Proc WODES’98, Italy, Aug. 26–28, pp 273–278

  22. Barkaoui K, Abdallah IB (1996) Analysis of a resource allocation problem in FMS using structure theory of Petri nets. In Proc Fist International Workshop on Manufacturing and Petri Nets, Osaka, Japan, Jun. pp 1–15

  23. Li ZW, Uzam M, Zhou MC (2007) Deadlock control of concurrent manufacturing processes sharing finite resources. Int J Adv Manuf Technol

  24. Ferrarini L, Maroni M (1998) Deadlock avoidance control for manufacturing systems with multiple capacity resources. Int J Adv Manuf Technol 14:729–736

    Article  Google Scholar 

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

    Article  Google Scholar 

  26. Han ZD, Lee G (2005) Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems. Int J Adv Manuf Technol 25:735–742

    Article  Google Scholar 

  27. Taubin A, Kondratyev A, Kishinevsky M (1998) Deadlock prevention using Petri nets and their unfoldings. Int J Adv Manuf Technol 14:750–759

    Article  Google Scholar 

  28. Wang PL, Wu ZH (1993) Conditions for directly deciding fair nets. Chinese Journal of Computers 16:53–58

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer, Tongji University, Shanghai, 201804, People’s Republic of China

    Guan Jun Liu & Chang Jun Jiang

  2. Department of Computer, Shandong University of Science and Technology, Qingdao, 266510, People’s Republic of China

    Zhe Hui Wu

  3. Department of Software Engineering, Shandong University of Science and Technology, Qingdao, 266510, People’s Republic of China

    Li Jing Chen

Authors
  1. Guan Jun Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Chang Jun Jiang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zhe Hui Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Li Jing Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Guan Jun Liu.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Liu, G.J., Jiang, C.J., Wu, Z.H. et al. A live subclass of petri nets and their application in modeling flexible manufacturing systems. Int J Adv Manuf Technol 41, 66–74 (2009). https://doi.org/10.1007/s00170-008-1457-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00170-008-1457-x

Keywords

Search

Navigation