Was ist ein Workflow-Netz $N$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine $\omega$-Markierung?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Definiere den Überdeckbarkeitsgraph!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Beschreibe die Kontstruktion des Überdeckbarkeitsgraphen!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
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.
Nenne Eigenschaften vom Überdeckbarkeitsgraphen!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.