Skip to main content
SpringerLink
Log in

Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS

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

Abstract

In the past two decades, a number of Petri-net-based approaches were proposed for deadlock prevention in flexible manufacturing systems (FMS). An FMS is modeled as a Petri net, and then the controller or the liveness enforcing supervisor (LES) is computed as a Petri net. A live Petri net (LPN) guarantees deadlock-free operations of the modeled FMS. An LES consists of a number of control places (CPs) and their related arcs. To-date most of the attention has been paid to make the underlying Petri net models live without questioning whether or not all of the computed CPs are necessary. It is often the case that the number of CPs determined by these approaches is not minimal. Reducing it in order to reduce the complexity of the controlled system is an important issue that was not tackled before. To address this problem, this paper proposes a redundancy test for an LES of an FMS. The proposed approach takes an LPN model, controlled by n CPs, as input and in the existence of any redundant CPs it produces redundant and necessary CPs. The proposed approach is applicable to any LPN consisting of a Petri net model (PNM), controlled by means of a set of CPs.

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. Fanti MP, Zhou MC (2004) Deadlock control methods in automated manufacturing systems. IEEE Trans Syst Man Cybern Part A 34(1):5–22

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

  4. Tat LY, Gwo-Ji S (1993) Resolving deadlocks in flexible manufacturing cells. J Manuf Syst 12(4):291–307

    Google Scholar 

  5. Wysk RA, Neng-Shu Y, Sanjay J (1994) Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches. J Manuf Syst 13(2):128–136

    Article  Google Scholar 

  6. Hsieh FS, Chang SC (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans Robot Automat 10(2):196–209

    Article  Google Scholar 

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

    Article  Google Scholar 

  8. Cho H, Kumaran TK, WyskR (1995) Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Trans Robot Automat 11(3):413–421

    Article  Google Scholar 

  9. Xing K, Hu B, Chen H (1995) Deadlock avoidance policy for flexible manufacturing systems. In: Zhou MC (ed) Petri Nets in Flexible and Agile Automation. Kluwer, Boston, MA, pp 239–263

    Google Scholar 

  10. Xing K, Hu B, Chen H (1996) Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources. IEEE Trans Automat Contr 41(2):289–295

    Article  MATH  MathSciNet  Google Scholar 

  11. Fanti MP, Maione B, Mascolo S, Turchiano B (1997) Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans Robot Automat 13(3):347–363

    Article  Google Scholar 

  12. Lawley M, Reveliotis S, Ferreira P (1997) Design guidelines for deadlock handling strategies in flexible manufacturing systems. Int J Flex Manuf Syst 9(7):5–29

    Article  Google Scholar 

  13. Yim D, Kim J, Woo H (1997) Avoidance of deadlocks in flexible manufacturing systems using a capacity designated directed graph. Int J Product Res 35(9):2459–2475

    Article  MATH  Google Scholar 

  14. Tricas F, Garcia-Valles F, Colom JM, Ezpelata J (1998) A structural approach to the problem of deadlock prevention in processes with resources. In: Proc WODES’98, Italy, pp 273–278, 26–28 August 1998

  15. Lawley M, Reveliotis S, Ferreira P (1998) A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Trans Robot Automat 14:796–809

    Article  Google Scholar 

  16. Abdallah IB, ElMaraghy HA (1998) Deadlock prevention and avoidance in FMS: a petri net based approach. Int J Adv Manuf Tech14 (10):704–715

    Article  Google Scholar 

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

    Article  Google Scholar 

  18. Lawley M (1999) Deadlock avoidance for production systems with flexible routing. IEEE Trans Robot Automat 15(3):497–509

    Article  Google Scholar 

  19. Park J, Reveliotis SA (2000) Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans Robot Automat 16(2):190–195

    Article  Google Scholar 

  20. Tricas F, Garcia-Valles F, Colom JM, Ezpeleta J (2000) An iterative method for deadlock prevention in FMS. In: Stremersch G (ed) Discrete event systems: analysis and control. Kluwer, Dordrecht, pp 139–148

  21. Huang Y, Jeng MD, Xie X,Chung S (2001) Deadlock prevention based on Petri nets and siphons. Int J Prod Res 39(2):283–305

    Article  MATH  Google Scholar 

  22. Park J, Reveliotis SA (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans Automat Contr 46(10):1572–1583

    Article  MATH  MathSciNet  Google Scholar 

  23. Ezpeleta J, Tricas F, Garcia-Valles F, Colom JM (2002) A banker’s solution for deadlock avoidance in FMS with flexible routing and multi resource states. IEEE Trans Robot Autom 18(4):621–625

    Article  Google Scholar 

  24. 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 Tech 19(3):192–208

    Google Scholar 

  25. Iordache MV, Moody JO, Antsaklis PJ (2002) Synthesis of deadlock prevention supervisors using Petri nets. IEEE Trans Robot Automat 18(1):59–68

    Article  Google Scholar 

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

    Article  Google Scholar 

  27. Li Z, Zhou MC (2004) Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Robot Syst Man Cybern Part A: Syst Hum 34(1):38–51

    Article  Google Scholar 

  28. Li Z, Zhou MC (2004) An effective FMS deadlock prevention policy based on elementary siphons. In: Proc of 2004 IEEE Int Conf Robot Automat pp 3143–3148, New Orleans, LA, May 2004

  29. Jeng MD, Xie X, Chung S-L (2004) ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems. IEEE Trans Syst Man Cybern 34(1):102–112

    Article  Google Scholar 

  30. Li Z, Uzam M, Zhou MC (2004) Comments on “deadlock prevention policy based on Petri nets and siphons”. Int J Prod Res 42(24):5253–5254

    Article  Google Scholar 

  31. Huang YS, Jeng MD, Xie X, Chung DH (in press) Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part-A

  32. Uzam M, Zhou MC (in press) An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part-A

  33. Uzam M, Zhou MC (2006) An improved iterative synthesis approach for liveness enforcing supervisors of flexible manufacturing systems. Int J Prod Res 44(10):1987–2030

    Article  Google Scholar 

  34. Murata T (1989) Petri nets: properties, analysis and application. Proc IEEE 44:541–579

    Article  Google Scholar 

  35. INA (31.07.2003) Integrated Net Analyzer, a software tool for analysis of Petri nets, Version 2.2. http://www.informatik.hu-berlin.de/<starke/ina.html

Download references

Author information

Authors and Affiliations

  1. Mühendislik-Mimarlık Fakültesi, Elektrik-Elektronik Mühendisliği Bölümü, Kampüs, Niğde Üniversitesi, 51200, Niğde, Turkey

    Murat Uzam

  2. School of Electro-Mechanical Engineering, Xidian University, No. 2, South Taibai Road, Xi’an, 710071, People’s Republic of China

    Zhiwu Li

  3. Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, 07102, USA

    MengChu Zhou

Authors
  1. Murat Uzam
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhiwu Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. MengChu Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Murat Uzam.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Uzam, M., Li, Z. & Zhou, M. Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS. Int J Adv Manuf Technol 35, 150–168 (2007). https://doi.org/10.1007/s00170-006-0701-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00170-006-0701-5

Keywords

Search

Navigation