Interactive Tutorials on Petri Nets

The following interactive tutorials introduce Petri nets, state spaces, and place/transition invariants. The tutorials are created by Wil van der Aalst, Vincent Almering, and Hermen Wijbenga from TU Eindhoven, the Netherlands. The tutorials originate from A Course On Workshop Management (see interactive examples).

Note that you need a Flash player in order to view the interactive tutorials.

Petri Nets Models: Elevator (1)
Elevator (2)
Elevator (3)
One Traffic Light
Two Traffic Lights
One Philosopher
Four Philosophers
Four Philosophers
Assembly
Reachability Graphs / State Spaces: Two Traffic Lights
Four Philosophers
Place Invariants: Two Traffic Lights
Four Philosophers
Transition Invariants: Two Traffic Lights
Four Philosophers

The maintainers of this page