Der Erreichbarkeitsgraph zeigt, welche Markierungen in einem Petrinetz ausgehend von der gegebenen Anfangsmarkierung überhaupt auftreten können und durch Schalten welcher Transition eine Markierung M in eine Nachfolgemarkierung M′ übergeht. Er ist deshalb eine Darstellungsform für die Zustandsübergangsfunktion δ des Petrinetzes. Anstelle der bildhaften Repräsentation des Erreichbarkeitsgraphen kann man die Zustandsübergangsfunktion auch als Tabelle mit den Tripeln (M′,M,t) notieren.
Erreichbarkeitsmenge. Die Erreichbarkeitsanalyse kann man mit Hilfe der analytischen Darstellung (6.12) des Petrinetzes durchführen, wofür man den Begriff der Erreichbarkeitsmenge R(M0) einführt und die Markierung M (k) wieder durch den zugehörigen Vektor p(k) repräsentiert. ...
Get Ereignisdiskrete Systeme, 3rd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
