Home | Petri Nets | Statebox

A Petri net is composed of places, transitions and arcs. Any place contains a given number of tokens, which represent resources. Transitions are connected to places through the arcs, and can turn resources into other resources: A transition can fire, consuming tokens living in places connected to its input, and producing tokens living in places connected to its output.

Actions
Flag