Skip to main content
SpringerLink
Log in

Introduction to Petri Nets

  • Chapter
Control of Discrete-Event Systems

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 433))

Abstract

Petri nets are one of the most important discrete event systems formalisms. Three are the main reasons of this. Firstly, they provide a rich family of both logic and timed models, that share a set of formal tools. Secondly, they can be used in all phases of design of a control system. Finally, Petri nets have been successfully used in several research domains, such as max-plus algebra, markovian processes, supervisory control, etc. In this chapter we provide the basic notations and results in this framework, only focusing on a purely logic model called place/transition net.

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 119.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 159.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. David, R., Alla, H.: Discrete, Continuous and Hybrid Petri Nets. Springer (2005)

    Google Scholar 

  2. Diestel, R.: Graph Theory, 4th edn. Springer (2010)

    Google Scholar 

  3. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press (1995)

    Google Scholar 

  4. Desrochers, A.A., Al-Jaar, R.Y.: Applications of Petri Nets in Manufacturing Systems. IEEE Press (1995)

    Google Scholar 

  5. Diaz, M. (ed.): Petri nets. Fundamental Models, Verification and Applications. John Wiley and Sons, Inc. (2009)

    Google Scholar 

  6. Di Cesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F.B.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer (1993)

    Google Scholar 

  7. Finkel, A., Johnen, C.: The home state problem in transition systems. In: Rapport de Recherche, vol. 471, Univ. de Paris-Sud., Centre d’Orsay (1989)

    Google Scholar 

  8. Girault, C., Valk, R.: Petri Nets for Systems Engineering. Springer (2003)

    Google Scholar 

  9. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley (1979)

    Google Scholar 

  10. Karp, R., Miller, R.: Parallel program schemata. Journal of Computer and System Sciences 3(2), 147–195 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  11. Martinez, J., Silva, M.: A simple and fast algorithm to obtain all invariants of a generalized Petri net. In: Informatik-Fachberichte: Application and Theory of Petri Nets, vol. 52. Springer (1982)

    Google Scholar 

  12. Murata, T.: Petri nets: properties, analysis and applications. Proceedings IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  13. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall (1981)

    Google Scholar 

  14. Petri, C.A.: Kommunication Mit Automaten. Institut für Instrumentelle, Mathematik (Bonn, Germany), Schriften des IIM 3 (1962)

    Google Scholar 

  15. Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science (1985)

    Google Scholar 

  16. Reutenauer, C.: Aspects Mathématiques des Réseaux de Petri. Prentice-Hall International (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy

    Maria Paola Cabasino, Alessandro Giua & Carla Seatzu

Authors
  1. Maria Paola Cabasino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alessandro Giua
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carla Seatzu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maria Paola Cabasino .

Editor information

Editors and Affiliations

  1. , Department of Electrical, University of Cagliari, Piazza D'Armi, Cagliari, 09124, Italy

    Carla Seatzu

  2. , Department of Computer Science, University of Zaragoza, Calle María de Luna 1, Zaragoza, 50018, Spain

    Manuel Silva

  3. Centrum Wiskunde & Informatica, Amsterdam, 1090 GB, Netherlands

    Jan H. van Schuppen

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag London

About this chapter

Cite this chapter

Cabasino, M.P., Giua, A., Seatzu, C. (2013). Introduction to Petri Nets. In: Seatzu, C., Silva, M., van Schuppen, J. (eds) Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences, vol 433. Springer, London. https://doi.org/10.1007/978-1-4471-4276-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-4276-8_10

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-4275-1

  • Online ISBN: 978-1-4471-4276-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation