Encyclopedia of Parallel Computing

2011 Edition
| Editors: David Padua

Petri Nets

  • Jack B. Dennis
Reference work entry
DOI: https://doi.org/10.1007/978-0-387-09766-4_134

Synonyms

Definition

A Petri Net is a graph model for the control behavior of systems exhibiting concurrency in their operation. The graph is bipartite, the two node types being places drawn as circles, and transitions drawn as bars. The arcs of the graph are directed and run from places to transitions or vice versa. Each place may be empty, or hold a finite number of tokens. The state of a Petri net is the distribution of tokens on its places, called a marking of the net. A transition is enabled if each of its input places holds at least one token. Firing a transition means removing one token from each input place and adding one token to each output place. A runof a Petri net is any sequence of firings of enabled transitions; a run defines a sequence of markings. Because many transitions may be enabled in a state, there are often many possible distinct runs of a Petri net. Hence, a Petri net represents a kind of nondeterministic state machine, but in a...

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

Bibliography

  1. 1.
    David R, Alla H (2005) Discrete, continuous, and hybrid Petri Nets. Springer, BerlinzbMATHGoogle Scholar
  2. 2.
    Girault C, Valk R (2003) Petri Nets for systems engineering. Springer, New YorkGoogle Scholar
  3. 3.
    Holt A, Commoner F (1970) Events and conditions. In: Record of the project MAC conference on concurrent systems and parallel computation. ACM, New York, pp 3–52Google Scholar
  4. 4.
    Jensen K (1995, 1996) Coloured Petri Nets: basic concepts, analysis methods and practical use. Monographs in theoretical computer science, vol 1, 2. Springer,Google Scholar
  5. 5.
    Murata T (Apr 1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580Google Scholar
  6. 6.
    Peterson JL (1981) Petri Net theory and the modeling of systems. Prentice-Hall, Englewood CliffsGoogle Scholar
  7. 7.
    Petri CA (1962) Kommunikation mit automaten. Schriften des Institutes für Instrumentelle mathematik. Ph.D. dissertation, University of Bonn, GermanyGoogle Scholar
  8. 8.
  9. 9.
    Petri CA, Reisig W (2008) Petri net. Scholarpedia 3(4):6477. http://www.scholarpedia.org/article/Petri_net
  10. 10.
    Ramchandani C (Feb 1974) Analysis of asynchronous concurrent systems by Petri Nets. Technical Report MIT/LCS/TR-120, MIT Laboratory for Computer ScienceGoogle Scholar
  11. 11.
    Springer (1980) Application and theory of Petri Nets. In: Informatik fachberichte; (1984–1993) Advances in Petri Nets. Lecture notes in computer science, vol 10; (1992–2009) Applications and theory of Petri Nets. Lecture notes in computer science, vol 18. Springer, BerlinGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  • Jack B. Dennis
    • 1
  1. 1.Computer Science and Artificial Intelligence LaboratoryMassachusetts Institute of TechnologyMAUSA