Grafische Veranschaulichung von Synchronisationszusammenhängen
-
Aktueller Ausführungszustand durch Markierung beschreibbar
-
Transitionen können mehrere Eingangs-/Ausgangsbedingungen haben
-
Ausgangsstellen können Eingangsstellen für weitere Transitionen sein
-
Stellen können eine Maximalkapazität haben
-
Kanten können eine Gewichtung haben
-
Petri-Netze können lebendig oder todesgefährdet sein
