Erreichbarkeit im Überdeckbarkeitsgraphen

Question

Kann man mit dem Überdeckbarkeitsgraphen entscheiden, ob eine Markierung erreichbar und welche Transitionssequenz nötig ist?

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Kommentare