Skip to main content
SpringerLink
Log in

Enhancement of an efficient control policy for FMSs using the theory of regions and selective siphon method

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

Abstract

Deadlocks are an important problem in resource allocation systems such as flexible manufacturing systems. The theory of regions and the siphon-based method are usually used in the most deadlock prevention policies. The theory of regions that can obtain a maximally permissive controller is usually considered to be a natural solution with seasonable computational cost for flexible manufacturing systems. The selective siphon method allows one to use fewer control places than the conventional one. This paper employs both methods above. The former can identify the set of curial marking/transition–separation instance; the latter can reduce the computational cost. We can infer that the novel policy is the most efficient policy than the traditional methods, and also, the maximal permissive behavior of Petri net models can still be obtained.

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. Hu H, Li Z (2009) Modeling and scheduling for manufacturing grid workflows using timed Petri nets. Int J Adv Manuf Technol 42(5–6):553–568

    Article  Google Scholar 

  2. Tuncel G (2012) An integrated modeling approach for shop-floor scheduling and control problem of flexible manufacturing systems. Int J Adv Manuf Technol 59(9–12):1127–1142

    Article  Google Scholar 

  3. Burnwal S, Deb S (2012) Scheduling optimization of flexible manufacturing system using cuckoo search-based approach. Int J Adv Manuf Technol. doi:10.1007/s00170-012-4061-z

  4. Huang B, Shi XX, Xu N (2012) Scheduling FMS with alternative routings using Petri nets and near admissible heuristic search. Int J Adv Manuf Technol. doi:10.1007/s00170-012-3958-x

  5. Abrishambaf R, Hashemipour M, Bal M (2012) Structural modeling of industrial wireless sensor and actuator networks for reconfigurable mechatronic systems. Int J Adv Manuf Technol. doi:10.1007/s00170-012-4070-y

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

    Article  Google Scholar 

  7. Huang YS, Jeng MD, Xie XL, Chung SL (2001) A deadlock prevention policy based on Petri nets and siphons. Int J Prod Res 39:283–305

    Article  MATH  Google Scholar 

  8. Li ZW, Zhou MC (2006) Clarifications on the definitions of elementary siphons in Petri nets. IEEE Trans Syst Man Cybern Part A Syst Humans 36(6):1227–1229

    Article  Google Scholar 

  9. Huang YS, Jeng MD, Xie XL, Chung TH (2006) Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part A Syst Humams 36(6):2152–2160

    Google Scholar 

  10. Huang YS (2007) Deadlock prevention for flexible manufacturing systems in sequence allocation systems. J Inf Sci Eng 23(1):215–231

    MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  12. Li ZW, Hu HS, Wang AR (2007) Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Trans Syst Man Cybern Part C Appl Rev 37(4):517–526

    Article  Google Scholar 

  13. Lautenbach K, Ridder H (1996) The linear algebra of deadlock avoidance—a Petri net approach. Research Report, University of Koblenz, Institute for Computer Science, Koblenz, Germany

  14. Iordache MV, Moody JO, Antsaklis PJ (2001) A method for the synthesis liveness enforcing supervisors in Petri nets. In Proceedings of the American Control Conference pp 4943–4948

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

    Article  Google Scholar 

  16. 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 Part A Syst Human 34(1):38–51

    Article  Google Scholar 

  17. Li ZW, Zhou MC (2008) Control of elementary and dependent siphons in Petri nets and their application. IEEE Trans Syst Man Cybern Part A Syst Humans 38(1):133–148

    Article  Google Scholar 

  18. Li ZW, Zhao M (2008) On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans Syst Man Cybern Part A Syst Humans 38(2):369–384

    Article  Google Scholar 

  19. Cho H, Kumaran TK, Wysk RA (2000) Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Trans Robot Autom 11(2):190–195

    Google Scholar 

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

    Google Scholar 

  21. Uzam M (2004) Synthesis of feedback control elements for discrete event system using Petri net models and theory of regions. Int J Adv Manuf Technol 24(1–2):48–69

    Google Scholar 

  22. 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(3–4):204–219

    Article  Google Scholar 

  23. Uzam M, Zhou MC (2007) An iterative synthesis approach Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern A Syst Human 37(3):362–371

    Article  Google Scholar 

  24. Li ZW, Wang A, Lin H (2004) A deadlock prevention approach for FMS using siphon and the theory of regions. IEEE International Conference on System, Man, and Cybernetics pp. 5079−5084

  25. Ghaffari A, Rezg N, Xie XL (2003) Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Trans Robot Autom 19(1):137–142

    Article  MathSciNet  Google Scholar 

  26. Ghaffari A, Rezg N, Xie XL (2003) Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system. IEEE Trans Automat Contr 18(1):18–29

    Article  MathSciNet  Google Scholar 

  27. Huang YS, Pan YL (2009) Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems. Int J Adv Manuf Technol 48:725–737

    Article  Google Scholar 

  28. Huang YS, Pan YL, and Jeng MD (2009) An efficient liveness enforcing supervisor for FMSs based on Petri nets and the theory of regions. Proceedings of the 2009 IEEE International Conference on Systems, Man, and Cybernetics San Antonio, TX, USA pp. 187−192

  29. Huang YS, Pan YL (2011) An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach. IET Control Theory Appl 5(9):1069–1078

    Article  MathSciNet  Google Scholar 

  30. Badouel E, Bernardinello L, Darondeau P (1995) Polynomial algorithms for the synthesis of bounded nets. In Proceedings of CAAP 95, vol. 915 of Lecture Notes in Computer Science pp 647−679

  31. Badouel E, Darondeau P (1998) Theory of regions. Third advance course on Petri nets. Springer, Heidelberg

    Google Scholar 

  32. Ehrenfeucht A, Rozenberg G (1990) Partial (set) 2-structures, parts I–II. Acta Inform 27:315–368

    Article  MathSciNet  MATH  Google Scholar 

  33. Badouel E, Darondeau P (1996) On the synthesis of general Petri nets. INRIA Research Report No: 3025

  34. Murata GT (1989) Petri nets: properties, analysis and applications. Proc IEEE 77:541–580

    Article  Google Scholar 

  35. Li ZW, Zhou MC, Jeng MD (2008) A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the Theory of Regions. IEEE Tran Autom Sci Eng 5(1):182–188

    Article  Google Scholar 

  36. Wei N, Li ZW (2008) On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions. Int J Adv Manuf Technol 38:195–204

    Article  Google Scholar 

  37. Li ZW, Zhou MC, Wu NQ (2008) A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part C Appl Rev 38(2):173–188

    Article  MATH  Google Scholar 

  38. Piroddi L, Cordone R, Fumagalli I (2008) Selective siphon control for deadlock prevention in Petri nets. IEEE Trans Syst Man Cybern Part A Syst Humans 38(6):1337–1348

    Article  Google Scholar 

  39. Piroddi L, Cordone R, Fumagalli I (2009) Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Trans Syst Man Cybern Part A Syst Humans 39(3):650–661

    Article  Google Scholar 

  40. Huang YS, Pan YL, Jeng MD and Chang PL (2010) Enhancement of an deadlock prevention policy for FMSs using theory of regions. IEEE International Conference on System, Man, and Cybernetics pp. 304−309

  41. Huang YS, Pan YL, Zhou MC (2012) Computationally improved optimal deadlock control policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part A Syst Humans 42(2):404–415

    Article  Google Scholar 

  42. Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77:81–98

    Article  Google Scholar 

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

    Article  Google Scholar 

  44. A Petri net analysis tool, Software version 1.0 (1996) Pedagogical University of Rzesów, Polland

Download references

Author information

Authors and Affiliations

  1. Department of Avionic Engineering, Air Force Academy, Taiwan, Republic of China

    Yen-Liang Pan

  2. Department of Electrical Engineering, National Ilan University, Taiwan, Republic of China

    Yi-Sheng Huang

  3. Department of Electrical Engineering, National Ocean University, Keelung 202, Taiwan, Republic of China

    MuDer Jeng

  4. Department of Electronic Engineering, National Taiwan University of Science and Technology, Taiwan, Republic of China

    Sheng-Luen Chung

Authors
  1. Yen-Liang Pan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yi-Sheng Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. MuDer Jeng
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sheng-Luen Chung
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yi-Sheng Huang.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pan, YL., Huang, YS., Jeng, M. et al. Enhancement of an efficient control policy for FMSs using the theory of regions and selective siphon method. Int J Adv Manuf Technol 66, 1805–1815 (2013). https://doi.org/10.1007/s00170-012-4460-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00170-012-4460-1

Keywords

Search

Navigation