Petri Net

Petri net is a mathematical modeling language that allows you to describe distributed systems.

This diagram type supports two basic types of elements: Places and Transitions.

Petri Net (Diagram Overview)
Petri Net (Diagram Overview)

Place - is depicted as a circle. There are two types of places:

  • Continuous - depicted as a double circle
  • Discrete - depicted as a single circle

Places may contain one or more tokens (markings), depicted as dots.

Transition - is depicted as a filled rectangle. There are two types of Transitions:

  • Continuous - depicted as an empty rectangle
  • Discrete - depicted as a filled rectangle

The places and transitions are connected using arrowed connectors called Arcs. Arc can connect only a place and a transition (never two places or two transitions).

There are multiple types of Arcs:

  • Normal - depicted as a normal line with an arrow
  • Inhibitory - depicted as a dashed line with a circle after the arrow
  • Test - depicted as a dashed line with an arrow
Petri Net (Example)
Petri Net (Example)

New Comment