Skip to main content
SpringerLink
Log in

Modeling, Analysis, and Control with Petri Nets

  • Living reference work entry
  • Latest version View entry history
  • First Online:
Encyclopedia of Systems and Control

Abstract

Petri net is a generic term used to designate a broad family of related formalisms for discrete event views of (dynamic) systems (DES), all sharing some basic relevant features, such as minimality in the number of primitives, locality of the states and actions (with consequences for model construction), or temporal realism. The global state of a system is obtained by the juxtaposition of the different local states. We should initially distinguish between autonomous formalisms and those extended by interpretation. Models in the latter group are obtained by restricting the underlying autonomous behaviors by means of constraints that can be related to different kinds of external events, in particular to time. This article first describes place/transition nets (PT-nets), by default simply called Petri nets (PNs). Other formalisms are then mentioned. As a system theory modeling paradigm for concurrent DES, Petri nets are used in a wide variety of application fields.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Bibliography

  • Agha G, de Cindio F, Rozenberg G (eds) (2001) Concurrent object-oriented programming and Petri nets, advances in Petri nets. Volume 2001 of LNCS. Springer, Berlin/Heidelberg/New York

    Google Scholar 

  • Balbo G, Silva M (eds) (1998) Performance models for discrete event systems with synchronizations: formalisms and analysis techniques. In: Proceedings of human capital and mobility MATCH performance advanced school, Jaca. Available online: http://webdiis.unizar.es/GISED/?q=news/matchbook

    Google Scholar 

  • Bause F, Kritzinger P (1996) Stochastic Petri nets. An introduction to the theory. Vieweg, Braunschweig

    MATH  Google Scholar 

  • Billington J, Diaz M, Rozenberg G (eds) (1999) Application of Petri nets to communication networks, advances in Petri nets. Volume 1605 of LNCS. Springer, Berlin/Heidelberg/New York

    Google Scholar 

  • Brams GW (1983) Reseaux de Petri: Theorie et Pratique. Masson, Paris

    MATH  Google Scholar 

  • Brauer W (ed) (1980) Net theory and applications. Volume 84 of LNCS. Springer, Berlin/New York

    Google Scholar 

  • Cardoso J, Camargo H (eds) (1999) Fuzziness in Petri nets. Volume 22 of studies in fuzziness and soft computing. Physica-Verlag, Heidelberg/New York

    Google Scholar 

  • Chen Y, Li Z (2013) Optimal supervisory control of automated manufacturing systems. CRC, Boca Raton

    Book  Google Scholar 

  • Cortadella J, Yakovlev A, Rozenberg G (eds) (2002) Concurrency and hardware design, advances in Petri nets. Volume 2549 of LNCS. Springer, Berlin/Heidelberg/New York

    MATH  Google Scholar 

  • David R, Alla H (1994) Petri nets for modeling of dynamic systems – a survey. Automatica 30(2):175–202

    Article  MathSciNet  Google Scholar 

  • David R, Alla H (2010) Discrete, continuous and hybrid Petri nets. Springer, Berlin/Heidelberg

    Book  Google Scholar 

  • Desrochers A, Al-Jaar RY (1995) Applications of Petri nets in manufacturing systems. IEEE, New York

    MATH  Google Scholar 

  • Diaz M (ed) (2009) Petri nets: fundamental models, verification and applications. Control systems, robotics and manufacturing series (CAM). Wiley, London

    Google Scholar 

  • DiCesare F, Harhalakis G, Proth JM, Silva M, Vernadat FB (1993) Practice of Petri nets in manufacturing. Chapman & Hall, London/Glasgow/New York

    Book  Google Scholar 

  • Di Febbraro A, Giua A, Menga G (eds) (2001) Special issue on hybrid Petri nets. Discret Event Dyn Syst 11(1–2):5–185

    Google Scholar 

  • Girault C, Valk R (2003) Petri nets for systems engineering. A guide to modeling, verification, and applications. Springer, Berlin

    Book  Google Scholar 

  • Giua A, Silva M (2018) Petri nets and automatic control: a historical perspective. Annu Rev Control 45:223–239

    Article  MathSciNet  Google Scholar 

  • Haas PJ (2002) Stochastic Petri nets. modelling, stability, simulation. Springer series in operations research. Springer, New York

    Google Scholar 

  • Iordache MV, Antsaklis PJ (2006) Supervisory control of concurrent systems: a Petri net structural approach. Birkhauser, Boston

    MATH  Google Scholar 

  • Jensen K, Kristensen LM (2009) Coloured Petri nets. modelling and validation of concurrent systems. Springer, Berlin

    Google Scholar 

  • Jensen K, Rozenberg G (eds) (1991) High-level Petri nets. Springer, Berlin

    MATH  Google Scholar 

  • Koch I, Reisig W, Schreiber F (eds) (2011) Modeling in systems biology. the Petri net approach. Computational biology, vol 16. Springer, Berlin

    Google Scholar 

  • Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley, Chichester/New York

    MATH  Google Scholar 

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

    Article  Google Scholar 

  • Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, Upper Saddle River

    MATH  Google Scholar 

  • Petri CA (1966) Communication with automata. Rome Air Development Center-TR-65-377, New York

    Google Scholar 

  • Reisig W (1985) Petri nets. An introduction. Volume 4 of EATCS monographs on theoretical computer science. Springer, Berlin/Heidelberg/New York

    Google Scholar 

  • Seatzu C, Silva M, Schuppen J (eds) (2013) Control of discrete-event systems. Automata and Petri net perspectives. Number 433 in lecture notes in control and information sciences. Springer, London

    Google Scholar 

  • Silva M (1985) Las Redes de Petri: en la Automatica y la Informatica. Madrid AC (ed) (2nd ed, Thomson-AC, 2002)

    Google Scholar 

  • Silva M (1993) Introducing Petri nets. In: Practice of Petri nets in manufacturing. Chapman and Hall, London/New York, pp 1–62

    Google Scholar 

  • Silva M (2013) Half a century after Carl Adam Petri’s Ph.D. thesis: a perspective on the field. Annu Rev Control 37(2):191–219

    Article  Google Scholar 

  • Silva M, Teruel E, Colom JM (1998) Linear algebraic and linear programming techniques for the analysis of net systems. Volume 1491 of LNCS, advances in Petri nets. Springer, Berlin/Heidelberg/New York, pp 309–373

    Google Scholar 

  • Silva M, Julvez J, Mahulea C, Vazquez C (2011) On fluidization of discrete event models: observation and control of continuous Petri nets. Discret Event Dyn Syst 21:427–497

    Article  MathSciNet  Google Scholar 

  • Starke P (1980) Petri-Netze. Deutcher Verlag der Wissenschaften, Berlin

    MATH  Google Scholar 

  • van der Aalst W, Stahl C (2011) Modeling business processes: a Petri net oriented approach. MIT Press, Cambridge

    Book  Google Scholar 

  • Villani E, Miyagi PE, Valette R (2007) Modelling and analysis of hybrid supervisory systems. A Petri net approach. Springer, Berlin

    MATH  Google Scholar 

  • Wingender E (ed) (2011) Biological Petri nets. Studies in health technology and informatics. vol 162. IOS Press, Lansdale

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto de Investigatión en Ingeniería de Aragón (I3A), Universidad de Zaragoza, Zaragoza, Spain

    Manuel Silva

Authors
  1. Manuel Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Manuel Silva .

Editor information

Editors and Affiliations

  1. Electrical and Computer Engineering, Boston University, Boston, MA, USA

    John Baillieul

  2. Automation and Control Solutions, Honeywell, Golden Valley, MN, USA

    Tariq Samad

Section Editor information

  1. Division of Systems Engineering, Center for Information and Systems Engineering, Boston University, Brookline, MA, USA

    Christos G. Cassandras

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer-Verlag London Ltd., part of Springer Nature

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Silva, M. (2020). Modeling, Analysis, and Control with Petri Nets. In: Baillieul, J., Samad, T. (eds) Encyclopedia of Systems and Control. Springer, London. https://doi.org/10.1007/978-1-4471-5102-9_53-2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-5102-9_53-2

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-5102-9

  • Online ISBN: 978-1-4471-5102-9

  • eBook Packages: Springer Reference EngineeringReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Chapter history

  1. Latest

    Modeling, Analysis, and Control with Petri Nets
    Published:
    28 December 2019

    DOI: https://doi.org/10.1007/978-1-4471-5102-9_53-2

  2. Original

    Modeling, Analysis and Control of Discrete Event Systems as Petri Nets
    Published:
    26 February 2014

    DOI: https://doi.org/10.1007/978-1-4471-5102-9_53-1

Search

Navigation