PetriNetSimple

This page contains an applet that should appear as a separate window.

As the model is running, the PetriNet Director sends messages to the PetriNetDisplay. The messages contain the token count for each Place at each iteration.

MoML specification for this model.