Petri‑Netz

Ein bipartiter gerichteter Multigraph als Modell, bestehend aus Stellen (places), Transitionen und Tokens; Markierungen ordnen Stellen Tokenanzahlen zu, und Transitionen sind feu­erbar, wenn ihre Eingabestellen genügend Tokens besitzen, wobei Tokens verschoben werden und so nebenläufiges, synchrones und ressourcenbeschränktes Verhalten in verteilten Systemen modelliert wird.