Petrinetz Gerichteter Graph bestehend aus zwei Arten von Knoten: den Stellen (Bedingungen) und den Transitionen (Ereignisse), um dynamische Eigenschaften von Systemen, insbesondere parallel ablaufende Vorgänge, zu analysieren. Dazu werden Stellen mit Marken versehen. Eine Transition 'schaltet', indem sie jeder Vorstelle eine Marke e...