Über eine nutzergeführte Ausführung des Netzes, d.h. Wanderungen
durch den Erreichbarkeitsgraphen, können Sie sich eine Vorstellung
des Netzverhaltens verschaffen und Knoten im Erreichbarkeitsgraphen
näher untersuchen, an denen Unerwartetes geschieht (z.B.
Erreichbarkeit von toten Zuständen).
