2.5.5 Schaltstrategie

INA kennt zwei Schaltstrategien. Je nach Einstellung der anderen Optionen sind aber Einschränkungen nötig, die automatisch berücksichtigt werden. Falls also im aktuellen Kontext nur eine Strategie möglich ist, wird INA diese anwählen und die Abfrage beim nächsten Punkt fortführen. Hier nun die Auswahlmöglichkeiten:

<T> fire single transitions

Dies ist die normale Schaltstrategie, die Transitionen einzeln schalten läßt.

<S> fire maximal steps

Diese Strategie läßt immer eine größte Menge von nebenläufigen Transitionen schalten. Dadurch wird aber die Erreichbarkeit von Markierungen eingeschränkt.