Encyclopedia of Systems and Control

2015 Edition
| Editors: John Baillieul, Tariq Samad

Modeling, Analysis, and Control with Petri Nets

  • Manuel Silva
Reference work entry
DOI: https://doi.org/10.1007/978-1-4471-5058-9_53

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.

Keywords

Condition/event nets (CE-nets) Continuous Petri nets (CPNs) Diagrams Fluidization Grafcet Hybrid Petri nets (HPNs) Marking Petri nets Place/transition nets (PT-nets) High-level Petri nets (HLPNs) 
This is a preview of subscription content, log in to check access.

Bibliography

  1. 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 YorkGoogle Scholar
  2. Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley, Chichester/New YorkGoogle Scholar
  3. Balbo G, Silva M (eds) (1998) Performance models for discrete event systems with synchronizations: formalisms and analysis techniques. Proceedings of human capital and mobility MATCH performance advanced school, Jaca. Available online: http://webdiis.unizar.es/GISED/?q=news/matchbook
  4. Bause F, Kritzinger P (1996) Stochastic Petri nets. an introduction to the theory. Vieweg, BraunschweigGoogle Scholar
  5. 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 YorkGoogle Scholar
  6. Brams GW (1983) Reseaux de Petri: Theorie et Pratique. Masson, ParisGoogle Scholar
  7. Brauer W (ed) (1980) Net theory and applications. Volume 84 of LNCS. Springer, Berlin/New YorkGoogle Scholar
  8. Cardoso J, Camargo H (eds) (1999) Fuzziness in Petri nets. Volume 22 of studies in fuzziness and soft computing. Physica-Verlag, Heidelberg/New YorkGoogle Scholar
  9. Chen Y, Li Z (2013) Optimal supervisory control of automated manufacturing systems. CRC, Boca RatonGoogle Scholar
  10. Cortadella J, Yakovlev A, Rozenberg G (eds) (2002) Concurrency and hardware design, advances in Petri nets. Volume 2549 of LNCS. Springer, Berlin/Heidelberg/New YorkGoogle Scholar
  11. David R, Alla H (1994) Petri nets for modeling of dynamic systems – a survey. Automatica 30(2):175–202MathSciNetGoogle Scholar
  12. David R, Alla H (2010) Discrete, continuous and hybrid Petri nets, Springer-Verlag, Berlin/HeidelbergGoogle Scholar
  13. Desrochers A., Al-Jaar RY (1995) Applications of Petri nets in manufacturing systems. IEEE, New YorkGoogle Scholar
  14. Diaz M (ed) (2009) Petri nets: fundamental models, verification and applications. Control systems, robotics and manufacturing series (CAM). Wiley, LondonGoogle Scholar
  15. DiCesare F, Harhalakis G, Proth JM, Silva M, Vernadat FB (1993) Practice of Petri nets in manufacturing. Chapman & Hall, London/Glasgow/New YorkGoogle Scholar
  16. Di Febbraro A, Giua A, Menga G (eds) (2001) Special issue on hybrid Petri nets. Discret Event Dyn Syst 11(1–2):5–185Google Scholar
  17. Girault C, Valk R (2003) Petri nets for systems engineering. a guide to modeling, verification, and applications. Springer, BerlinGoogle Scholar
  18. Haas PJ (2002) Stochastic Petri nets. modelling, stability, simulation. Springer series in operations research. Springer, New YorkGoogle Scholar
  19. Iordache MV, Antsaklis PJ (2006) Supervisory control of concurrent systems: a Petri net structural approach. Birkhauser, BostonGoogle Scholar
  20. Jensen K, Kristensen LM (2009) Coloured Petri nets. modelling and validation of concurrent systems. Springer, BerlinGoogle Scholar
  21. Jensen K, Rozenberg G (eds) (1991) High-level Petri nets. Springer, BerlinGoogle Scholar
  22. Koch I, Reisig W, Schreiber F (eds) (2011) Modeling in systems biology. the Petri net approach. Computational biology, vol 16. Springer, BerlinGoogle Scholar
  23. Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580Google Scholar
  24. Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, Upper Saddle RiverGoogle Scholar
  25. Petri CA (1966) Communication with automata. Rome Air Development Center-TR-65-377, New YorkGoogle Scholar
  26. Reisig W (1985) Petri nets. an introduction. Volume 4 of EATCS monographs on theoretical computer science. Springer-Verlag, Berlin/Heidelberg/New YorkGoogle Scholar
  27. 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, LondonGoogle Scholar
  28. Silva M (1985) Las Redes de Petri: en la Automatica y la Informatica. Ed. AC, Madrid (2nd ed., Thomson-AC, 2002)Google Scholar
  29. Silva M (1993) Introducing Petri nets. In: Practice of Petri nets in manufacturing. Chapman and Hall, London/New York, pp 1–62Google Scholar
  30. Silva M (2013) Half a century after Carl Adam Petri’s PhD thesis: a perspective on the field. Annu Rev Control 37(2):191–219Google Scholar
  31. 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– 373Google Scholar
  32. 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–497MathSciNetGoogle Scholar
  33. Starke P (1980) Petri-Netze. Deutcher Verlag der Wissenschaften, BerlinGoogle Scholar
  34. van der Aalst W, Stahl C (2011) Modeling business processes: a Petri net oriented approach. MIT, CambridgeGoogle Scholar
  35. Villani E, Miyagi PE, Valette R (2007) Modelling and analysis of hybrid supervisory systems. A Petri net approach. Springer, BerlinGoogle Scholar
  36. Wingender E (ed) (2011) Biological Petri nets. Studies in health technology and informatics. vol 162. IOS Press, LansdaleGoogle Scholar

Copyright information

© Springer-Verlag London 2015

Authors and Affiliations

  • Manuel Silva
    • 1
  1. 1.Instituto de Investigation en Ingeniería de Aragón (I3A)Universidad de ZaragozaZaragozaSpain