Workflow-Netze

Workflow-Netz 
$\omega$-Markierung 
Überdeckbarkeitsgraph 
Überdeckbarkeitsgraph: Konstruktion 
Erreichbarkeit im Überdeckbarkeitsgraphen 
Eigenschaften des Ü-Graphen