In jedem Zustand wird zuerst die aktuelle Markierung sowie je nach Schaltstrategie die Liste der konzessionierten Transitionen bzw. Schritte ausgegeben:
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.
PL: 0 1 2 3 4 5 6
MA: 2 0 0 0 1 1 1
enabled: 1, 2, 3,
<r>eset | <b>ack | <w>rite | <s>tubborn set | <a>ll stubborn sets | <q>uit
Transition to fire >
Bei einer Zeitbewertung wird zusätzlich die Systemzeit ausgegeben: transitional period from previous state=2 system time=10.
Durch Eingabe von <cr> wird immer das erste Element der angezeigten Schaltliste ausgewählt und geschaltet.
Mit der Taste <B> können Sie wiederholt einen Schaltvorgang rückgängig machen und so andere Auswahlen treffen.
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.
© 1996-98 Prof. Peter H. Starke (starke@informatik.hu-berlin.de) und Stephan Roch (roch@...)
INA Handbuch Version 2.1 zuletzt geändert: 1998-03-24