Petri Net Model

About the Petri Net Model

This notation is a classical condition-event Petri Net that can be marked and executed.

Drawing Toolbar