4.4.1 Allgemeines

In jedem Zustand wird zuerst die aktuelle Markierung, gegebenenfalls die Liste konzessionierter Fakten sowie je nach Schaltstrategie die Liste der konzessionierten Transitionen bzw. Schritte ausgegeben:

 PL: 1
 MA: 1
enabled facts: 1,
enabled: 1.Fakt, 2.NoFakt,
Transition to fire >

Die Auswahl einer Transition bzw. eines Schrittes der angezeigten Schaltliste erfolgt durch Eingabe seiner Nummer. Die ausgewählte Transition bzw. der ausgewählte Schritt wird ausgeführt und der Folgezustand dargestellt. Bei gefärbten Netzen müssen Sie zusätzlich zur Transitionsnummer noch mit einem Semikolon abgetrennt die Schaltfarbe angeben. Wenn keine Transition Konzession hat meldet INA : no transition has concession. Falls Sie die Nummer einer nicht konzessionierten Transition bzw. eines Schrittes eingeben, so wird das Schalten mit der Meldung no concession abgelehnt.

<cr> fire the first element

Durch Eingabe von <cr> wird immer das erste Element der angezeigten Schaltliste ausgewählt und geschaltet.

<B> Back to the previous state

Mit der Taste <B> können Sie wiederholt einen Schaltvorgang rückgängig machen und so andere Auswahlen treffen.

<R> Reset to the initial state

Mit dieser Funktion wird der Anfangszustand wiederhergestellt. Sie können so einen anderen Weg durch den Erreichbarkeitsgraphen inspizieren. Am Ende des Schaltens müssen Sie diese Funktion nicht aufrufen, da dies automatisch geschieht und so das Netz in den Anfangszustand zurückgesetzt wird.