Ein abstract, formale Modell des Informationsflusses, Anzeigen von statische und dynamische Eigenschaften eines Systems. A Petri-Netz wird in der Regel als ein Diagramm mit zwei Arten von Knoten (Orte und Übergänge genannt) verbunden durch Bögen und Kennzeichnungen (genannt Token), der angibt, dynamischer Eigenschaften dargestellt.