Skip to main content
SpringerLink
Log in

The Resource Allocation Problem in Flexible Manufacturing Systems

Extended Abstract

  • Conference paper
  • First Online:
Applications and Theory of Petri Nets 2003 (ICATPN 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2679))

Included in the following conference series:

Abstract

The analysis of resource allocation related aspects is a precondition for the design and control of Flexible Manufacturing Systems. The formulation of this application-driven problem in terms of Petri nets leads to a class of models, with a specific structure-based characterization, which we explore in this presentation. We will concentrate our efforts on the characterization of the liveness of such models. We will also discuss the structural causes of the non-liveness (deadlock of some manufacturing processes) that will allow to state the foundations to introduce control elements which eliminate all the bad states.

This work has been partially supported by the Spanish research project CICYT-FEDER 2001–1819.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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. Z.A. Banaszak and B.H. Krogh. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. on Robotics and Automation, 6(6):724–734, December 1990.

    Article  Google Scholar 

  2. K. Barkaoui, A. Chaoui, and B. Zouari. Supervisory control of discrete event systems based on structure of Petri nets. In Procs of the 1997 Int. Conf. on Systems, Man and Cybernetics, pages 3750–3755, Oralndo (USA), October 1997.

    Google Scholar 

  3. F. Chu and X. Xie. Deadlock analysis of petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation, 13(6):793–804, December 1997.

    Article  Google Scholar 

  4. J. Ezpeleta, J.M. Colom, and J. Martínez. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11(2):173–184, April 1995.

    Article  Google Scholar 

  5. J. Ezpeleta, F. Tricas, F. García-Vallés, and J.M. Colom. A Banker’s solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Transactions on Robotics and Automation, 18(4):621–625, August 2002.

    Article  Google Scholar 

  6. M.P. Fanti, B. Maione, S. Mascolo, and B. Turchiano. Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans. on Robotics and Automation, 13(3):347–363, June 1997.

    Article  Google Scholar 

  7. M.P. Fanti, B. Maione, and T. Turchiano. Comparing digraph and petri net approaches to deadlock avoidance in FMS modelling and performance analysis. IEEE Transactions on System Man and Cybernetics. Part B, 30:783–798, 2000.

    Article  Google Scholar 

  8. F. Hsieh and S. Chang. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans. on Robotics and Automation, 10(2):196–209, April 1994.

    Article  Google Scholar 

  9. F. S. Hsieh and S. C. Chang. Deadlock avoidance controller synthesis for flexible manufacturing systems. In Procs of the 3th. Int. Conf. on Computer Integrated Manufacturing, pages 252–261, Troy, New York, May 1992. Rensselaer Polytechnic Institute.

    Google Scholar 

  10. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–580, April 1989.

    Article  Google Scholar 

  11. J. Park and S. Reveliotis. A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings. In Proceedings of the IEEE International Conference on Decision & Control, pages 2663–2669, Australia, December 2000. IEEE.

    Google Scholar 

  12. J. Park and S.A. Reveliotis. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Robotics and Automation, 16(2):190–195, April 2000.

    Article  Google Scholar 

  13. J. Park and S.A. Reveliotis. Algebraic deadlock avoidance policies for conjunctive/disjunctive resource allocations systems. In Procs of the 2001 Int. Conf. on Robotics and Automation, Seoul, Korea, May 2001.

    Google Scholar 

  14. J. Park and S.A. Reveliotis. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control, 46:1572–1583, 2001.

    Article  MATH  MathSciNet  Google Scholar 

  15. J.L. Peterson and A. Silberschatz. Operating System Concepts. Addison-Wesley, 1985.

    Google Scholar 

  16. S.A. Reveliotis. Accommodating FMS operational contingencies through routing flexibility. In Procs of the 1998 Int. Conf. on Robotics and Automation, pages 573–579, Leuven, Belgium, May 1998.

    Google Scholar 

  17. S.A. Reveliotis, M.A. Lawley, and P.M. Ferreira. Polynomial complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Automatic Control, 42(6):1344–1357, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  18. M. Silva, E. Teruel, R. Valette, and H. Pingaud. Petri nets and production systems. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets II: Applications, volume 1492 of Lecture Notes on Computer Science, pages 85–124. Springer-Verlag, 1998.

    Google Scholar 

  19. F. Tricas. Analysis, Prevention and Avoidance of Deadlocks in Sequential Resource Allocation Systems. PhD thesis, Zaragoza. España, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, May 2003.

    Google Scholar 

  20. F. Tricas, J.M. Colom, and J. Ezpeleta. A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. In G. Horton, D. Moller, and U. Rude, editors, Proc. of the 11th European Simulation Symposium, pages 542–546, Erlangen, Germany, October 1999. The society for Computer Simulation Int.

    Google Scholar 

  21. F. Tricas and J. Ezpeleta. A Petri net solution to the problem of deadlocks in systems of processes with resources. In Proc. of the 7th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA), pages 1047–1056, Barcelona, October 1999.

    Google Scholar 

  22. F. Tricas, F. García-Vallés, J.M. Colom, and J. Ezpeleta. A structural approach to the problem of deadlock prevention in processes with resources. In IEE International Workshop on Discrete Event Systems. WODES 98, pages 273–278, Cagliary (Italy), August 1998. IEE, IEE.

    Google Scholar 

  23. F. Tricas and J. Martínez. An extension of the liveness theory for concurrent sequential processes competing for shared resources. In Proc. of the 1995 IEEE Int. Conf. on Systems, Man and Cybernetics., pages 4119–4124, Vancouver, Canada, October 1995.

    Google Scholar 

  24. N. Viswanadham, Y. Narahari, and T.L. Johnson. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. on Robotics and Automation, 6(6):713–723, December 1990.

    Article  Google Scholar 

  25. X. Xie and M. Jeng. ERCN-merged nets and their analysis using siphons. IEEE Transactions on Robotics and Automation, 15(4):692–703, August 1999.

    Article  Google Scholar 

  26. K.Y. Xing, B.S. Hu, and H.X. Chen. Deadlock avoidance policy for Petri-net modeling of flexible manufacturig systems with shared resources. IEEE Transactions on Automatic Control, 41(2):289–295, February 1996.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto de Investigación en Ingeniería de Aragón, Universidad de Zaragoza, María de Luna, N. 3, 50.018, Zaragoza, España

    J. M. Colom

Authors
  1. J. M. Colom
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Technology and Management, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Wil M. P. van der Aalst

  2. Computer Science Department Parallel Systems Group, University of Oldenburg, 26111, Oldenburg, Germany

    Eike Best

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Colom, J.M. (2003). The Resource Allocation Problem in Flexible Manufacturing Systems. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-44919-1_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40334-0

  • Online ISBN: 978-3-540-44919-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation