Skip to main content
SpringerLink
Log in
Book cover

Deadlock Resolution in Automated Manufacturing Systems pp 159–190Cite as

Optimal Liveness-Enforcing Supervisors

  • Chapter

  • 645 Accesses

Part of the book series: Advances in Industrial Control ((AIC))

Abstract

This chapter considers the design of optimal, i.e., maximally permissive, liveness-enforcing (Petri net) supervisors for automated manufacturing systems. It first reviews a deadlock prevention policy that is based on theory of regions, which is optimal. Then, based on the elementary siphon theory, sufficient conditions are presented under which there exists an optimal liveness-enforcing supervisor for a class of Petri nets, S3PR (system of simple sequential processes with resources). A synthesis method of such a supervisor is given if it exists. This chapter also shows that an optimal liveness-enforcing supervisor can be computed in polynomial time if all the siphons in an S3PR are elementary. Moreover, there exists an optimal livenessenforcing supervisor if the capacity of every resource is greater than one.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abdallah, I.B., ElMaraghy, H.A. (1998) Deadlock prevention and avoidance in FMS: A Petri net based approach. International Journal of Advanced Manufacturing Technology, vol.14, no.10, pp.704–715.

    Article  Google Scholar 

  2. Badouel, E., Darondeau, P. (1998) Theory of regions. Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, vol.1491, W. Reisig and G. Rozenberg (Eds.), pp.529– 586.

    Google Scholar 

  3. Barkaoui, K., Lemaire, B. (1989) An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory. In Proc. 10th Int. Conf. on Application and Theory of Petri Nets, pp.1–21.

    Google Scholar 

  4. Barkaoui, K., Abdallah, I.B. (1994) An effficient deadlock avoidance control policy in FMS using structural analysis of Petri nets. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, vol.1, pp.525–530.

    Google Scholar 

  5. Barkaoui, K., Abdallah, I.B. (1995) A deadlock prevention method for a class of FMS. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, vol.5, pp.4119–4124.

    Google Scholar 

  6. Barkaoui, K., Abdallah, I.B. (1995) Deadlock avoidance in FMS based on structural theory of Petri nets. In Proc. INRIA/IEEE Symposium on Emerging Technologies and Factory Automation, vol.2, pp.499–510.

    Google Scholar 

  7. Chu, F., Xie, X.L. (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation, vol.13, no.6, pp.793–804.

    Article  Google Scholar 

  8. Cormen, T.H., Leiserson, C.E., Rivest, R.L. (1992) Introduction to Algorithms. The MIT Press/McGraw-Hill.

    Google Scholar 

  9. Darondeau, P. (2000) Region based synthesis of P/T-nets and its potential applications. In Pro. 20th Int. Conf. on Applications and Theory of Petri Nets, Lecture Notes in Computer Science, vol.1825, pp.16–23.

    Google Scholar 

  10. Ezpeleta, J, Colom, J.M., Martinez, J. (1995) A Petri net based deadlock prevention policy for êxible manufacturing systems. IEEE Transactions on Robotics and Automation, vol.11, no.2, pp.173–184.

    Article  Google Scholar 

  11. Ghaffari, A., Rezg, N., Xie, X.L. (2003) Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation, vol.19, no.1, pp.137–142.

    Article  MathSciNet  Google Scholar 

  12. Giua, A., DiCesare, F., Silva, M. (1992) Generalized mutual exclusion constraints on nets with uncontrollable transitions. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, vol.2, pp.974–979.

    Google Scholar 

  13. Huang, Y.S., Jeng, M.D., Xie, X.L., Chung, S.L. (2001) Deadlock prevention policy based on Petri nets and siphons. International Journal of Production Research, vol.39, no.2, pp.283– 305.

    Article  MATH  Google Scholar 

  14. Lawley, M.A., Reveliotis, S.A. (2001) Deadlock avoidance for sequential resource allocation systems: Hard and easy cases. International Journal of Flexible Manufacturing Systems, vol.13, no.4, pp.385–404.

    Article  MathSciNet  Google Scholar 

  15. Li, Z.W., Zhou, M.C. (2004) Elementary siphons of Petri nets and their application to deadlock prevention in êxible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.34, no.1, pp.38–51.

    Article  Google Scholar 

  16. Li, Z.W., Zhou, M.C. (2006) Two-stage method for synthesizing liveness-enforcing supervisors for êxible manufacturing systems using Petri nets. IEEE Transactions on Industrial Informatics, vol.2, no.4, pp.313–325.

    Article  Google Scholar 

  17. Li, Z.W., Liu, D. (2007) A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net. International Journal of Production Research, vol.45, no.9, pp.2163–2167.

    Google Scholar 

  18. Li, Z.W., Zhou, M.C., Jeng, M.D. (2008) A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering, vol.5, no.1, pp.182–188.

    Article  Google Scholar 

  19. Lindo, Premier Optimization Modeling Tools, http://www.lindo.com/.

    Google Scholar 

  20. Park, J., Reveliotis, S.A. (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and êxible routings. IEEE Transactions on Automatic Control, vol.46, no.10, pp.1572–1583.

    Article  MATH  MathSciNet  Google Scholar 

  21. Paton, K. (1969) An algorithm for ñding a fundamental set of cycles of a graph. Communications of the ACM, vol.12, no.9, pp.514–518.

    Article  MATH  Google Scholar 

  22. Ramadge, P., Wonham, W.M. (1989) The control of discrete event systems. Proceedings of the IEEE, vol.77, no.1, pp.81–89.

    Article  Google Scholar 

  23. Reveliotis, S.A., Choi, J.Y. (2006) Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions. In Proc. 27th Int. Conf. on Applications and Theory of Petri Nets and Other Models of Concurrency, Lecture Notes in Computer Science, vol.4024, S. Donatelli and P. S. Thiagarajan (Eds.), pp.322–341.

    Google Scholar 

  24. Sreenivas, R.S. (1997) On Commoner’s liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets. Systems Control Letters, vol.31, no.1, pp.41–48.

    Article  MATH  MathSciNet  Google Scholar 

  25. Sreenivas, R.S. (1997) On the existence of supervisory control policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets. IEEE Transactions on Automatic Control, vol.42, no.7, pp.928–945.

    Article  MATH  MathSciNet  Google Scholar 

  26. Sreenivas, R.S. (1999) On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions. IEEE Transactions on Automatic Control, vol.44, no.6, pp.1221–1225.

    Article  MATH  MathSciNet  Google Scholar 

  27. Starke, P.H. (2003) INA: Integrated Net Analyzer. http://www2.informatik.hu-berlin.de/ ∼starke/ina.html.

    Google Scholar 

  28. Uzam, M. (2002) An optimal deadlock prevention policy for êxible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology, vol.19, no.3, pp.192–208.

    Google Scholar 

  29. Uzam, M., Zhou, M.C. (2006) An improved iterative synthesis method for liveness enforcing supervisors of êxible manufacturing systems. International Journal of Production Research, vol.44, no.10, pp.1987–2030.

    Article  Google Scholar 

  30. Uzam, M., Li, Z.W., Zhou, M.C. (2007) Identiffication and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS. International Journal of Advanced Manufacturing Technology, vol.35, no.1–2, pp.150–168.

    Google Scholar 

  31. Xing, K.Y., Hu, B.S. (2005) Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems. In Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, pp.282–287.

    Google Scholar 

Download references

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer London

About this chapter

Cite this chapter

(2009). Optimal Liveness-Enforcing Supervisors. In: Deadlock Resolution in Automated Manufacturing Systems. Advances in Industrial Control. Springer, London. https://doi.org/10.1007/978-1-84882-244-3_6

Download citation

  • DOI: https://doi.org/10.1007/978-1-84882-244-3_6

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84882-243-6

  • Online ISBN: 978-1-84882-244-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation