Petri Net

Natural & Formal Sciences Dictionary
A bipartite directed multigraph model consisting of places, transitions, and tokens; markings assign token counts to places and transitions fire when their input places have sufficient tokens, thereby moving tokens and modeling concurrent, synchronous, and resource‑constrained behaviors in distributed systems.