Petri Net Animation

Klaus Reinhardt

University of Tübingen

To add a token, click on a place.
To remove a token, click on the place, keep the mouse pressed and release it on another place.
To add a transition, click on a free space according to the grid-scheme.
To add a place, click on any other place, keep the mouse pressed and release it on a free space according to the grid-scheme.
To add an edge (weight 1), click on a place, keep the mouse pressed and release it on a transition or vici versa.
To fire a transition, click on it (or close to it).

More Examples (Presentation)

Last modified: by Klaus Reinhardt