4 Schalten

Ü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. Konzessionierung eines Fakts oder Erreichbarkeit von toten Zuständen).

• 4.1 Grundlagen
• 4.2 Zustandsdarstellung
  • 4.2.1 Zustandsdarstellung ohne Zeitbewertung
  • 4.2.2 Zustandsdarstellung unter Zeitbewertung
• 4.3 Hilfsfunktionen
• 4.4 Schaltfunktionen
  • 4.4.1 Allgemeines
  • 4.4.2 Schalten unter Zeitbewertung
• 4.5 Beispiel