SpringerLink
Log in

Modeling, Analysis, and Control with Petri Nets

  • Reference work entry
  • First Online:
Encyclopedia of Systems and Control

  • 247 Accesses

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

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
EUR 29.95
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 1,604.99
Price includes VAT (Germany)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
EUR 1,818.99
Price includes VAT (Germany)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

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

    Google Scholar 

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

    Article  MathSciNet  MATH  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

    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

    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  MATH  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  MATH  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. College of Engineering, Boston University, Boston, MA, USA

    John Baillieul

  2. Technological Leadership Institute, University of Minnesota, Minneapolis, MA, USA

    Tariq Samad

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Silva, M. (2021). Modeling, Analysis, and Control with Petri Nets. In: Baillieul, J., Samad, T. (eds) Encyclopedia of Systems and Control. Springer, Cham. https://doi.org/10.1007/978-3-030-44184-5_53

Download citation

Publish with us

Policies and ethics

Search

Navigation