Petri net

Draft

Definition

A Petri net (also known as a place/transition net or P/T net) is one of several mathematical representations of discrete distributed systems. As a modeling language, it graphically depicts the structure of a distributed system as a directed bipartite graph with annotations. As such, a Petri net has place nodes, transition nodes, and directed arcs connecting places with transitions. Petri nets were invented in 1962 by Carl Adam Petri. ([1] Wikipedia, retrieved 17:13, 29 February 2008 (MET))

Petri nets can be used to describe workflows

Links

• Petri nets world. (The purpose of the Petri Nets World is to provide a variety of online services for the international Petri Nets community)

Standards

• ISO/IEC 15909-1:2004.

Joint Technical Committee on Information Technology (JTC1), of the International Organisation for Standardisation (ISO) and the International Electrotechnical Commission (IEC).

• Petri Net Markup Language (PNML) is part 2 of ISO/IEC 1509

• Petri Nets Standards (some more info)

Tutorials and introductions

• Petri net (Wikipedia).

• A course on workflow management, TU Eindhoven. in particular: Petri nets refresher

References

• Kindler, Ekkart (2006). Concepts, Status, and Future Directions. In E. Schnieder (ed.): Entwurf Komplexer Automatisierungssysteme, EKA 2006, 9. Fachtagung, Braunschweig, Germany, May 2006, pp. 35-55. (describes PNML)