Wie muss ein Graph charakterisiert sein, damit der Ablauf gemäß der Regionentheorie ein Petri-Netz liefert, dessen Erreichbarkeitsgraph isomorph zum Transitionssystem ist?
Antwort:
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Kommentare
Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.