Skip to main content
SpringerLink
Log in
Book cover

Supervisory Control of Concurrent Systems pp 7–28Cite as

An Introduction to Petri Nets

  • Chapter

  • 735 Accesses

Part of the book series: Systems and Control: Foundations & Applications ((SCFA))

Abstract

Discrete-event systems (DESs) are systems with dynamics driven by the occurrence of events. Petri nets and automata denote two major classes of DES models. This chapter begins with an introduction to automata. Then, Petri nets are presented. We conclude with a comparison of Petri nets and automata.

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   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD   169.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.

2.4 Bibliographical Notes

  1. J. Billington. Protocol specification using P-graphs, a technique based on coloured Petri nets. In Reisig, W. and Rozenberg, G., editors, Lectures on Petri Nets II: Applications, volume 1492 of Lecture Notes in Computer Science, pages 293–330, Springer-Verlag, Berlin, 1998.

    Google Scholar 

  2. U. A. Buy and R. H. Sloan. Automatic real-time analysis of reactive systems with the PARTS toolset. Automated Software Engineering, 23(4):227–273, 2001.

    Article  Google Scholar 

  3. J.-P. Courtiat, J. M. Ayache, and B. Algayres. Petri nets are good for protocols. In ACM, SIGCOMM’84 Tutorials and Symposium, Communications Architectures and Protocols, pages 66–74, 1984.

    Google Scholar 

  4. R. David and A. Hassane. Petri nets for modeling of dynamic systems-a survey. Automatica, 32(2):175–202, 1994.

    Article  Google Scholar 

  5. A. A. Desrochers and R.Y. Al’Jaar. Applications of Petri nets in Manufacturing Systems: Modelling, Control and Performance Analysis. IEEE Press, Piscatway, NJ, 1995.

    Google Scholar 

  6. F. DiCesare, G. Harhalakis, J.M. Proth, M. Silva, and F.B. Vernadat. Practice of Petri Nets in Manufacturing. Chapman and Hall, London, 1993.

    Google Scholar 

  7. C. Girault and R. Valk. Petri Nets for Systems Engineering. Springer-Verlag, Berlin, 2003.

    Google Scholar 

  8. D. Mandrioli, R. Zicari, C. Ghezzi, and F. Tisato. Modeling the Ada task system by Petri nets. Computer Languages, 10(1):43–61, 1985.

    Article  Google Scholar 

  9. B. J. McCarragher and H. Asada. The discrete event modeling and trajectory planning of robotic assembly tasks. Transactions of the ASME-Journal of Dynamic Systems, Measurement and Control, 117(3):394–400, 1995.

    Article  MATH  Google Scholar 

  10. T. Murata. Petri nets: Properties, analysis and applications. In Proceedings of the IEEE, pages 541–580, April 1989.

    Google Scholar 

  11. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, NJ, 1981.

    Google Scholar 

  12. J.-M. Proth and X. Xie. Petri Nets: A Tool for Design and Management of Manufacturing Systems. John Wiley & Sons, New York, 1997.

    Google Scholar 

  13. W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1985.

    MATH  Google Scholar 

  14. W. Reisig. Elements of Distributed Algorithms: Modeling and Analysis with Petri nets. Springer-Verlag, Berlin, 1998.

    MATH  Google Scholar 

  15. W. Reisig, E. Kindler, T. Vesper, and H. Völzer. Distributed algorithms for networks of agents. In Reisig, W. and Rozenberg, G., editors, Lectures on Petri Nets II: Applications, volume 1492 of Lecture Notes in Computer Science, pages 331–385, Springer-Verlag, Berlin, 1998.

    Google Scholar 

  16. T. Suzuki, S. M. Shatz, and T. Murata. A protocol modeling and verification approach based on a specification language and Petri nets. IEEE Transactions on Software Engineering, 16(5):523–536, 1990.

    Article  Google Scholar 

  17. A. Yakovlev, L. Gomes, and L. Lavagno, editors. Hardware Design and Petri Nets. Kluwer Academic Publishers, Norwell, MA, 2000.

    MATH  Google Scholar 

  18. A. Yakovlev and A. Koelmans. Petri nets and digital hardware design. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets II: Applications, volume 1492 of Lecture Notes in Computer Science, pages 154–236, Springer-Verlag, Berlin, 1998.

    Google Scholar 

  19. M. Zhou and K. Venkatesh. Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach, volume 6 of Series in Intelligent Control and Intelligent Automation. World Scientific Publishing Company, River Edge, NJ, 1999.

    Google Scholar 

Download references

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Birkhäuser Boston

About this chapter

Cite this chapter

(2006). An Introduction to Petri Nets. In: Supervisory Control of Concurrent Systems. Systems and Control: Foundations & Applications. Birkhäuser Boston. https://doi.org/10.1007/0-8176-4488-1_2

Download citation

  • DOI: https://doi.org/10.1007/0-8176-4488-1_2

  • Publisher Name: Birkhäuser Boston

  • Print ISBN: 978-0-8176-4357-7

  • Online ISBN: 978-0-8176-4488-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation