Petri Net Modeling

Engineering & Applied Technologies Dictionary
A graphical and mathematical formalism for modeling concurrent, asynchronous, and distributed discrete‑event systems using places, transitions, directed arcs and tokens; system behavior is defined by token distribution (marking) and transition firing rules that move tokens between places.