Petri Nets

Build a Petri net, simulate firings, and explore its graph of reachable markings.

Parameters and construction

Clickable examples

Shared visual editor

SVG

Simulation

On a phone, scroll the diagram horizontally or use Pan to move the view.

Choose a tool and tap the diagram. To connect nodes, tap the source first and the destination second. Drag nodes in Select mode; drag the background in Pan mode.