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