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)

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)

Comment