We'd like to use analytics cookies to understand which symbols people look up, so we know what to research next. They are not used for advertising and we set none of them unless you say yes. What we store.
Tokens moving between places.
Also known as: Place-transition net, Petri net diagram
The graphical notation for concurrent systems, built from places, transitions and tokens.
Models a concurrent system as tokens moving between places through transitions.
Contexts: Technical drawing, Software
The token positions are the system's state, so the diagram is not a picture of the system but an executable representation of it — moving the tokens by the firing rule is running the model.
Contexts: Technical drawing, Software
Circles for places and bars or rectangles for transitions, joined by arrows, with dots inside the circles standing for tokens.