Petri‑Netz‑Modellierung

Engineering & Applied Technologies Dictionary
Ein grafisch‑mathematisches Formalismus zur Modellierung diskreter, nebenläufiger, asynchroner und verteilter Systeme mittels Stellen (places), Transitionen, gerichteten Kanten und Marken (tokens); das Systemverhalten wird durch die Markenverteilung (Markierung) und die Schaltregeln der Transitionen bestimmt, die Marken zwischen Stellen verschieben.