Skip to main content
SpringerLink
Log in

Conclusions and Future Research

  • Chapter
Deadlock Resolution in Automated Manufacturing Systems

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

  • 642 Accesses

Abstract

This chapter concludes the book by providing a number of interesting problems in the area of deadlock prevention for automated manufacturing systems, which is based on Petri nets. These problems include the development of deadlock prevention methods by considering the existence of uncontrollable and unobservable transitions in a plant model, polynomial algorithms to find a set of elementary siphons in a Petri net, and the analysis of elementary Petri net subclasses such as free-choice nets by using elementary siphon theory. System productivity comparison of different strategies by considering time factor in a Petri net model represents an important research area.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barkaoui, K., Chaoui, A., Zouari, B. (1997) Supervisory control of discrete event systems based on structure theory of Petri nets. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, pp.3750–3755.

    Google Scholar 

  2. Ben-Naoum, L., Boel, R., Bongaerts, L., De Schutter, B., Peng, Y., Valckenaers, P., Vandewalle, J., Wertz, V. (1995) Methodologies for discrete event dynamic systems: A survey. Journal A, vol.36, no.4, pp.3–14.

    Google Scholar 

  3. Bogdan, S., Lewis, F.L., Kovacic, Z., Mireles, J. (2006) Manufacturing Systems Control Design. London: Springer.

    MATH  Google Scholar 

  4. David, R., Hassane, A. (1994) Petri nets for modeling of dynamic systems-A survey. Automatica, vol.30, no.2, pp.175–202.

    Article  MATH  MathSciNet  Google Scholar 

  5. David, R. (1995) Grafcet: A powerful tool for speciffication of logical controllers. IEEE Transactions on Control Systems Technology, vol.3, no.3, pp.253–268.

    Article  Google Scholar 

  6. David, R., Hassane, H. (2004) Discrete, Continuous, and Hybrid Petri Nets. Berlin: Springer.

    Google Scholar 

  7. DiCesare, F., Harhalakis, G., Porth, J.M., Vernadat, F.B. (1993) Practice of Petri Nets in Manufacturing. Chapman and Hall.

    Google Scholar 

  8. Dotoli, M., Fanti, M.P. (2004) Coloured timed Petri net model for real-time control of automated guided vehicle systems. International Journal of Production Research, vol.42, no.9, pp.1787–1814.

    Article  MATH  Google Scholar 

  9. Dotoli, M., Fanti, M.P. (2007) Deadlock detection and avoidance strategies for automated storage and retrieval systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C, vol.37, no.4, pp.541–552.

    Article  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. Ferrarini L., Maroni, M. (1998) Deadlock avoidance control for manufacturing systems with multiple capacity resources. International Journal of advanced manufacturing Technology, vol.14, no.4, pp.729–736.

    Google Scholar 

  12. Gebraeel, N.Z., Lawley, M.A. (2001) Deadlock detection, prevention, and avoidance for automated tool sharing systems. IEEE Transactions on Robotics and Automation, vol.17, no.3, pp.342–356.

    Article  Google Scholar 

  13. 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 

  14. Girault, C., Valk, R. (Eds). (2003) Petri Nets for Systems Engineering: A Guide to Modeling, Veriffication, and Applications. Berlin: Springer.

    Google Scholar 

  15. Giua, A. (1992) Petri nets as discrete event models for supervisory control. Ph.D Dissertation, Rensselaer Polytechnic Institute, Troy, New York.

    Google Scholar 

  16. 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, pp.974–979.

    Google Scholar 

  17. Giua, A., DiCesare, F. (1992) On the existence of Petri net supervisors. In Proc. 31st IEEE Conf. on Decision and Control, pp.3380–3385.

    Google Scholar 

  18. Giua, A., DiCesare, F. (1993) A class of Petri nets with a convex reachability set. In Proc. IEEE Int. Conf. on Robotics and Automation, pp.578–583.

    Google Scholar 

  19. Giua, A., DiCesare, F., Silva, M. (1993) Petri net supervisors for generalized mutual exclusion constraints. In Proc. 12th IFAC World Congress, pp.267–270.

    Google Scholar 

  20. Giua, A., DiCesare, F. (1994) Blocking and controllability of Petri nets in supervisory control. IEEE Transactions on Automatic Control, vol.39, no.4, pp.818–823.

    Article  MATH  MathSciNet  Google Scholar 

  21. Giua, A., DiCesare, F. (1994) Petri net structural analysis for supervisory control. IEEE Transactions on Robotics and Automation, vol.10, no.2, pp.185–195.

    Article  Google Scholar 

  22. Giua, A. Seatzu, C. (2001) Supervisory control of railway networks with Petri nets. In Proc. 40th IEEE Int. Conf. on Decision and Control, pp.5004–5009.

    Google Scholar 

  23. Giua, A., Seatzu, C. (2007) A systems theory view of Petri nets. In Advances in Control Theory and Applications, Lecture Notes in Control and Information Science, vol.353, C. Bonivento et al. (Eds.), pp.99–127.

    Google Scholar 

  24. Hee, K.V., Sidorova, N., Voorhoeve, M. (2003) Soundness and separability of workôw nets in the stepwise reñement approach. In Proc. 24th Int. Conf. on Applications and Theory of Petri Nets, Lectures Note in Computer Science, vol.2679, W. M. P. van der Aalst and E. Best (Eds.), pp.337–356.

    Google Scholar 

  25. Hee, K.V., Sidorova, N., Voorhoeve, M. (2004) Generalised soundness of workôw nets is decidable. In Proc. 25th Int. Conf. on Applications and Theory of Petri Nets, Lecture Notes in Computer Science, vol.3099, J. Cortadella and W. Reisig (Eds.), pp.197–216.

    Google Scholar 

  26. Hee, K.V., Serebrenik, A., Sidorova, N., Voorhoeve, M. (2005) Soundness of resourceconstrained workôw nets. In Proc. 27th Int. Conf. on Applications and Theory of Petri Nets, Lecture Notes in Computer Science, vol.3536, G. Ciardo and P. Darondeau (Eds.), pp.250– 267.

    Google Scholar 

  27. Hruz, B., Zhou, M.C (2007) Modeling and Control of Discrete-Event Dynamic Systems: With Petri Nets and Other Tools. London: Springer.

    MATH  Google Scholar 

  28. 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 

  29. Huang, Y.S. (2007) Design of deadlock prevention supervisors for FMS using Petri nets. International Journal of Advanced Manufacturing Technology, vol.35, no.3–4, pp.349–362.

    Google Scholar 

  30. Huang, Y.S. (2007) Deadlock prevention for êxible manufacturing systems in sequence resource allocation systems. Journal of Information Science and Engineering, vol.23, no.1, pp.215–231.

    MathSciNet  Google Scholar 

  31. Jeng, M.D., DiCesare, F. (1993) A review of synthesis techniques for Petri nets with applications to automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.23, no.1, pp.301–312.

    Article  MATH  MathSciNet  Google Scholar 

  32. Jeng, M.D., DiCesare, F. (1995) Synthesis using resource control nets for modeling sharedresource systems. IEEE Transactions on Robotics and Automation, vol.11, no.3, pp.317–327.

    Article  Google Scholar 

  33. Jeng, M.D. (1997) A Petri net synthesis theory for modeling êxible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics, Part B, vol.27, no.2, pp.169–183.

    Article  MathSciNet  Google Scholar 

  34. Jeng, M.D., Peng, M.Y., Huang, Y.S. (1999) An algorithm for calculating minimal siphons and traps in Petri nets. International Journal of Intelligent Control and Systems, vol.3, no.3, pp.263–275.

    Google Scholar 

  35. Jeng, M.D., Huang, Y.S. (1999) Petri nets for modeling and analysis of manufacturing systems with local operation cycles. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, pp.793–797.

    Google Scholar 

  36. Jeng, M.D., Xie, X.L. (1999) Analysis of modularly composed nets by siphons. IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.29, no.4, pp.399–406.

    Article  Google Scholar 

  37. Jeng, M.D., DiCesare, F., Xie, X.L. (2000) Corrections to “Synthesis using resource control nets for modeling shared-resource systems”. IEEE Transactions on Robotics and Automation, vol.16, no.2, pp.202–203.

    Article  Google Scholar 

  38. Jeng, M.D., Xie, X.L. (2001) Modeling and analysis of semiconductor manufacturing systems with degraded behavior using Petri nets and siphons. IEEE Transactions on Robotics and Automation, vol.17, no.5, pp.576–588.

    Article  Google Scholar 

  39. Lewis, F., Gurel, A., Bogdan, S., Doganalp, A., Pastravanu, O. (1998) Analysis of deadlock and circular waits using a matrix model for êxible manufacturing systems. Automatica, vol.34, no.9, pp.1083–1100.

    Article  MATH  Google Scholar 

  40. 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 

  41. Moody, J.O., Antsaklis, P.J. (1998) Supervisory Control of Discrete Event Systems Using Petri Nets. Boston, MA: Kluwer.

    MATH  Google Scholar 

  42. Moore, K.E., Gupta, S.M. (1996) Petri net models of êxible manufacturing systems: A survey. International Journal of Production Research, vol.34, no.11, pp.3001–3035.

    Article  MATH  Google Scholar 

  43. Narahari, Y., Viswanadham, N. (1985) A Petri net approach to the modelling and analysis of êxible manufacturing systems. Annals of Operations Research, vol.3, no.8, pp.449–472.

    Article  Google Scholar 

  44. Pablo, J., Colom, J.M. (2006) Resource allocation systems: Some complexity results on the S4PR class. In Proc. IFIP International Federation for Information Processing, Lecture Notes in Computer Science, vol.4229, E. Najm et al. (Eds.), pp.323–338.

    Google Scholar 

  45. 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 

  46. Recalde, L., Silva, M., Ezpeleta, J., Teruel, E. (2004) Petri nets and manufacturing systems: An examples-driven tour. In Lectures on Concurrency and Petri Nets: Advances in Petri Nets, Lecture Notes in Computer Science, vol.3098, J. Desel, W. Reisig, and G. Rozenberg (Eds.), pp.742–788.

    Google Scholar 

  47. Reveliotis, S.A., Ferreira, P.M. (1997) Deadlock avoidance policies for automated manufacturing cells. IEEE Transactions on Robotics and Automation, vol.12, no.6, pp.845–857.

    Article  Google Scholar 

  48. Reveliotis, S.A., Lawley, M.A., Ferreira, P.M. (1997) Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Automatic Control, vol.42, no.10, pp.1344–1357.

    Article  MATH  MathSciNet  Google Scholar 

  49. Reveliotis, S.A., Lawley, M.A., Ferreira, P.M. (2001) Structural control of large-scale êxibly automated manufacturing systems. In The Design of Manufacturing Systems, C. T. Leondes (Ed.), pp.4-1-4-34. CRC Press.

    Google Scholar 

  50. Reveliotis, S.A. (2003) On the siphon-based characterization of liveness in sequential resource allocation systems. In Proc. Int. Conf. on Applications and Theory of Petri Nets, Lecture Notes in Computer Science, vol.2679, W. M. P. van der Aalst and E. Best (Eds.), pp.241–255.

    Google Scholar 

  51. Roszkowska, E. (2004) Supervisory control for deadlock avoidance in compound processes, IEEE Trans. on Syst., Man, Cybern., Part A, vol.34, no.1, pp.52–64.

    Article  Google Scholar 

  52. Salimifard, K., Wright, M. (2001) Petri net-based modelling of workôw systems: An overview. European Journal of Operational Research, vol.134, no.3, pp.664–676.

    Article  MATH  Google Scholar 

  53. Silva, M., Valette, R. (1990) Petri nets and êxible manufacturing. In Proc. Int. Conf. on Applications and Theory of Petri Nets, Lecture Notes in Computer Science, vol.424, G. Rozenberg (Ed.), pp.374–417.

    Google Scholar 

  54. Silva, M. (1993) Introducing Petri nets. In Practice of Petri Nets in Manufacturing, pp.1–62, Chapman & Hall.

    Google Scholar 

  55. Silva, M., Teruel, E. (1997) Petri nets for the design and operation of manufacturing systems. European Journal of Control, vol.3, no.3, pp.182–199.

    MATH  Google Scholar 

  56. Silva, M., Teruel, E., Valette, R., Pingaud, H. (1998) Petri nets and production systems. In Lectures in Petri Nets II: Applications, Lecture Notes in Computer Science, vol.1492, G. Rozenberg and W. Reisig (Eds.), Springer, pp.85–124.

    Google Scholar 

  57. Tiplea, F.L., Marinescu, D.C. (2005) Structural soundness of workôw nets is decidable. Information Processing Letters, vol.96, no.2, pp.54–58.

    Article  MathSciNet  Google Scholar 

  58. Tsitsiklis, J.N. (1986) On the control of discrete-event dynamic systems. International Journal of Control, vol.42, no.2, pp.475–491.

    MathSciNet  Google Scholar 

  59. Valette, R., Courvoisier, M., Mayeux, D. (1982) Control of êxible production systems and Petri nets. In Proc. Application of Theory of Petri nets, Informatik-Fachberichte, no.66, pp.264–277.

    Google Scholar 

  60. Valette, R., Courvoisier, M., Demmou, H., Bigou, J.M., Desclaux, C. (1985) Putting Petri nets to work for controlling êxible manufacturing systems. In Proc. IEEE Int. Symp. on Circuits and Systems, Kyoto, Japan, pp.929–932.

    Google Scholar 

  61. Valette, R. (1987) Nets in production systems. In Petri Nets: Applications and Relationships to Other Models of Concurrency, Lecture Notes in Computer Science, vol.255, Springer, pp.191–217.

    Google Scholar 

  62. Valette, R., Cardoso, J., Atabakhone, H., Courvoisier, M., Lemaire, T. (1988) Petri nets and production rules for decision levels in FMS control. In Proc. 12th IMACS World Congress on Scientiffic Computation, Paris, Juillet, pp.522–524.

    Google Scholar 

  63. Valette, R. (1989) Monitoring manufacturing systems by means of Petri nets with imprecise markings. In Proc. IEEE Int. Symp. on Intelligent Control, Albany, NY, pp.233–238.

    Google Scholar 

  64. Vattle, R. (1997) Some issues about Petri net application to manufacturing and process supervisory control. In Lecture Notes in Computer Science, vol.1248, P. Azéma and G. Balbo (Eds.), pp.23–41.

    Google Scholar 

  65. Van der Aalst, W.M.P. (1996) Structural characterization of sound workôw nets. Computer Science Report 96/23, Eindhoven University of Technology.

    Google Scholar 

  66. Van der Aalst, W.M.P. (1997) Veriffication of workôw nets. In Lecture Notes in Computer Science, vol.1248, P. Azema and G. Balbo (Eds.), pp.407–426.

    Google Scholar 

  67. Van der Aalst, W.M.P. (1998) The application of Petri nets to workôw management. Journal of Circuits, Systems, and Computers, vol.8, no.1, pp.21–66.

    Article  Google Scholar 

  68. Van der Aalst, W.M.P. (2000) Workôw veriffication: Finding control-ôw errors using Petrinet-based techniques. In Lecture Notes in Computer Science, vol.1806, W. M. P. van der Alst, et al. (Eds.), pp.162–183.

    Google Scholar 

  69. Van der Aalst, W.M.P., Van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M. (2003) Workôw mining: A survey of issues and approaches. Data and Knowledge Engineering vol.47, no.2, pp.237–267.

    Article  Google Scholar 

  70. Viswanadham, N., Narahari, Y., Johnson, T. (1990) Deadlock prevention and deadlock avoidance in êxible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation, vol.6, no.6, pp.713–723.

    Article  Google Scholar 

  71. Viswanadham, N., Narahari, Y. (1992) Performance Modelling of Automated Manufacturing Systems. Englewood Cliffs, NJ: Prentice Hall.

    Google Scholar 

  72. Wu, N.Q., Zhou, M.C. (2007) Deadlock resolution in automated manufacturing systems with robots. IEEE Transactions on Automation Science and Engineering, vol.4, no.3, pp.474–480.

    Article  Google Scholar 

  73. Wu, N.Q., Zhou, M.C. Zhou, Li, Z.W. (2008) Resource-oriented Petri net for deadlock avoidance in êxible assembly systems. IEEE Transactions on System, Man, and Cybernetics, Part A, vol.38, no.1, pp.56–69.

    Article  Google Scholar 

  74. Xing, K.Y., Hu, B.S., Chen, H.X. (1996) Deadlock avoidance policy for Petri-net modelling of êxible manufacturing systems with shared resources. IEEE Transactions on Automatic Control, vol.41, no.2, pp.289–295.

    Article  MATH  MathSciNet  Google Scholar 

  75. 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 

  76. Xing, K.Y., Zhou, M.C., Liu, H.X., Tian, F. (2009) Optimal Petri net-based polynomialcomplexity deadlock avoidance policies for automated manufacturing systems. To appear in IEEE Transactions on Systems, Man, and Cybernetics, Part A.

    Google Scholar 

  77. Zhang, W., Judd, R.P., Deering, P. (2004) Necessary and suffficient conditions for deadlocks in êxible manufacturing systems based on a digraph model. Asian Journal of Control, vol.6, no.2, pp.217–228.

    Google Scholar 

  78. Zhang, W., Judd, R.P. (2007) Deadlock avoidance for êxible manufacturing systems with choices based on digraph. Asian Journal of Control, vol.9, no.2, pp.111–120.

    Google Scholar 

  79. Zhang, W., Judd, R.P. (2008) Deadlock avoidance algorithm for êxible manufacturing systems by calculating effective free space of circuits. International Journal of Production Research, vol.46, no.13, pp.3441–3457.

    Article  MATH  Google Scholar 

  80. Zhou, M.C., DiCesare, F., Rudolph, D. (1992) Design and implementation of a Petri net supervisor for a êxible manufacturing system. Automatica, vol.28, no.6, pp.1199–1208.

    Article  MATH  MathSciNet  Google Scholar 

  81. Zhou, M.C. (1998) Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach. IEEE Transactions on Semiconductor Manufacturing, vol.11, no.3, pp.333–357.

    Article  Google Scholar 

  82. Zhou, M.C., Venkatesh, K. (1998) Modelling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientiffic.

    Google Scholar 

  83. Zouari, B., Barkaoui, K. (2003) Parameterized supervisor synthesis for a modular class of discrete event systems. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, pp.1874– 1879.

    Google Scholar 

  84. Zurawski, R., Zhou, M.C. (1994) Petri nets and industrial applications: A tutorial. IEEE Transactions on Industrial Electronics, vol.41, no.6, pp.567–583.

    Article  Google Scholar 

Download references

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer London

About this chapter

Cite this chapter

(2009). Conclusions and Future Research. In: Deadlock Resolution in Automated Manufacturing Systems. Advances in Industrial Control. Springer, London. https://doi.org/10.1007/978-1-84882-244-3_8

Download citation

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

  • 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