Skip to main content
SpringerLink
Log in

On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems

  • 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

One of the most interesting developments from, both, a theoretical and a practical perspective, in the emerging theory of resource allocation systems (RAS), is the characterization of the non-liveness of many RAS classes through the Petri net (PN)-based structural object of empty, or more generally, deadly marked siphon. The work presented in this paper seeks to develop a general theory that provides a unifying framework for all the relevant existing results, and reveals the key structures and mechanisms that connect the RAS non-liveness to the concept of deadly marked — and in certain cases, empty — siphon. By taking this generalizing approach, the developed results allow also the extension of the siphon-based characterization of non-liveness to broader RAS classes, and provide a clear and intuitive explanation for the cases where the RAS non-liveness cannot be attributed to such a siphon-based construct.

This work has been partially supported by the Keck Foundation and the Logistics Institute - Asia Pacific.

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. K. Barkaoui and I. Ben Abdallah. Analysis of a resource allocation problem in fms using structure theory of petri nets. In Proc. of the 1st Intl Workshop on Manufacturing and Petri Nets, pages 1–15, 1996.

    Google Scholar 

  2. K. Barkaoui, A. Chaoui, and B. Zouari. Supervisory control of discrete event systems based on structure theory of petri nets. In Proc. of the IEEE Intl Conf. on Systems, Man and Cybernetics, pages 3750–3755. IEEE, 1997.

    Google Scholar 

  3. F. Chu and X-L. Xie. Deadlock analysis of petri nets using siphons and mathematical programming. IEEE Trans. on R&A, 13:793–804, 1997.

    Google Scholar 

  4. J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge Univerrsity Press, 1995.

    Google Scholar 

  5. J. Ezpeleta, J. M. Colom, and J. Martinez. A petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on R&A, 11:173–184, 1995.

    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:347–363, 1997.

    Article  Google Scholar 

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

    Article  Google Scholar 

  8. M. Jeng and X. Xie. Modeling and analysis of semiconductor manufacturing systems with degraded behaviors using petri nets and siphons. IEEE Trans. on Robotics and Automation, 17:576–588, 2001.

    Article  Google Scholar 

  9. M. Lawley, S. Reveliotis, and P. Ferreira. The application and evaluation of banker’s algorithm for deadlock-free buffer space allocation in flexible manufacturing systems. Intl. Jrnl. of Flexible Manufacturing Systems, 10:73–100, 1998.

    Article  Google Scholar 

  10. M. A. Lawley. Deadlock avoidance for production systems with flexible routing. IEEE Trans. Robotics & Automation, 15:497–509, 1999.

    Article  Google Scholar 

  11. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77:541–580, 1989.

    Article  Google Scholar 

  12. J. Park. Structural Analysis and Control of Resource Allocation Systems using Petri nets. PhD thesis, Georgia Institute of Technology, Atlanta, GA, 2000.

    Google Scholar 

  13. J. Park and S. Reveliotis. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. on R&A, 16:190–195, 2000.

    Google Scholar 

  14. J. Park and S. A. Reveliotis. A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings. In Proc. of CDC 2000. IEEE, 2000.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  16. S. Reveliotis. Liveness enforcing supervision for sequential resource allocation systems: State of the art and open issues. In B. Caillaud, X. Xie, P. Darondeau, and L. Lavagno, editors, Synthesis and Control of Discrete Event Systems, pages 203–212. Kluwer Academic Publishers, 2002.

    Google Scholar 

  17. S. A. Reveliotis. Structural analysis of assembly/disassembly resource allocation systems. Technical report, School of Industrial & Systems Eng., Georgia Tech, accessible at: http://www.isye.gatech.edu/~spyros, 2001.

    Google Scholar 

  18. S. A. Reveliotis and P. M. Ferreira. Deadlock avoidance policies for automated manufacturing cells. IEEE Trans. on Robotics & Automation, 12:845–857, 1996.

    Article  Google Scholar 

  19. S. A. Reveliotis, M. A. Lawley, and P. M. Ferreira. Structural control of large-scale flexibly automated manufacturing systems. In C. T. Leondes, editor, The Design of Manufacturing Systems, pages 4-1–4-34. CRC Press, 2001.

    Google Scholar 

  20. F. Tricas, J. M. Colom, and J. Ezpeleta. A solution to the problem of deadlock in concurrent systems using petri nets and integer linear programming. In Proceedings of the 11th Eurpoean Simulation Symposium, pages 542–546, 1999.

    Google Scholar 

  21. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpeleta. A structural approach to the problem of deadlock prevention in processes with resources. In Proceedings of the 4th Workshop on Discrete Event Systems, pages 273–278. IEE, 1998.

    Google Scholar 

  22. W. Van der Aalst. Structural characterizations of sound workflow nets. Technical Report Computing Science Reports 96/23, Eindhoven University of Technology, 1996.

    Google Scholar 

  23. W. Van der Aalst. Verification of workflow nets. In P. Azema and G. Balbo, editors, Lecture Notes in Computer Science, Vol. 1248, pages 407–426. Springer Verlag, 1997.

    Google Scholar 

  24. X. Xie and M. Jeng. Ercn-merged nets and their analysis using siphons. IEEE Trans. on R&A, 13:692–703, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Industrial & Systems Engineering, Georgia Institute of Technology, Atlanta, GA, 30332, USA

    Spyros A. Reveliotis

Authors
  1. Spyros A. Reveliotis
    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

Reveliotis, S.A. (2003). On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation 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_17

Download citation

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

  • 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