Petri Nets: Informal Presentation
Petri Nets: Informal Presentation
A Petri net is a directed bipartite graph consisting of
places P and transitions T .
Places are represented by circles,
Transitions are represented by bars (or rectangles),
Places and transitions are connected by arcs.
In a marked Petri net each place contains a cardinal
number of tokens or marks.
A place is equivalent to a discrete state variable.