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.
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
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
Bause F, Kritzinger P (1996) Stochastic Petri nets. An introduction to the theory. Vieweg, Braunschweig
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
Brams GW (1983) Reseaux de Petri: Theorie et Pratique. Masson, Paris
Brauer W (ed) (1980) Net theory and applications. Volume 84 of LNCS. Springer, Berlin/New York
Cardoso J, Camargo H (eds) (1999) Fuzziness in Petri nets. Volume 22 of studies in fuzziness and soft computing. Physica-Verlag, Heidelberg/New York
Chen Y, Li Z (2013) Optimal supervisory control of automated manufacturing systems. CRC, Boca Raton
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
David R, Alla H (1994) Petri nets for modeling of dynamic systems – a survey. Automatica 30(2):175–202
David R, Alla H (2010) Discrete, continuous and hybrid Petri nets. Springer, Berlin/Heidelberg
Desrochers A, Al-Jaar RY (1995) Applications of Petri nets in manufacturing systems. IEEE, New York
Diaz M (ed) (2009) Petri nets: fundamental models, verification and applications. Control systems, robotics and manufacturing series (CAM). Wiley, London
DiCesare F, Harhalakis G, Proth JM, Silva M, Vernadat FB (1993) Practice of Petri nets in manufacturing. Chapman & Hall, London/Glasgow/New York
Di Febbraro A, Giua A, Menga G (eds) (2001) Special issue on hybrid Petri nets. Discret Event Dyn Syst 11(1–2):5–185
Girault C, Valk R (2003) Petri nets for systems engineering. A guide to modeling, verification, and applications. Springer, Berlin
Giua A, Silva M (2018) Petri nets and automatic control: a historical perspective. Annu Rev Control 45:223–239
Haas PJ (2002) Stochastic Petri nets. modelling, stability, simulation. Springer series in operations research. Springer, New York
Iordache MV, Antsaklis PJ (2006) Supervisory control of concurrent systems: a Petri net structural approach. Birkhauser, Boston
Jensen K, Kristensen LM (2009) Coloured Petri nets. modelling and validation of concurrent systems. Springer, Berlin
Jensen K, Rozenberg G (eds) (1991) High-level Petri nets. Springer, Berlin
Koch I, Reisig W, Schreiber F (eds) (2011) Modeling in systems biology. the Petri net approach. Computational biology, vol 16. Springer, Berlin
Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley, Chichester/New York
Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580
Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, Upper Saddle River
Petri CA (1966) Communication with automata. Rome Air Development Center-TR-65-377, New York
Reisig W (1985) Petri nets. An introduction. Volume 4 of EATCS monographs on theoretical computer science. Springer, Berlin/Heidelberg/New York
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
Silva M (1985) Las Redes de Petri: en la Automatica y la Informatica. Madrid AC (ed) (2nd ed, Thomson-AC, 2002)
Silva M (1993) Introducing Petri nets. In: Practice of Petri nets in manufacturing. Chapman and Hall, London/New York, pp 1–62
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
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
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
Starke P (1980) Petri-Netze. Deutcher Verlag der Wissenschaften, Berlin
van der Aalst W, Stahl C (2011) Modeling business processes: a Petri net oriented approach. MIT Press, Cambridge
Villani E, Miyagi PE, Valette R (2007) Modelling and analysis of hybrid supervisory systems. A Petri net approach. Springer, Berlin
Wingender E (ed) (2011) Biological Petri nets. Studies in health technology and informatics. vol 162. IOS Press, Lansdale
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2020 Springer-Verlag London Ltd., part of Springer Nature
About this entry
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
Chapter history
-
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
-
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