Gleich nach dem Start werden im Hauptmenü die aktuellen Optionen angezeigt. Durch Eingabe von <O> können diese verändert werden. So informieren Sie INA , Netze welchen Typs Sie bearbeiten möchten.
Der Reihe nach werden nun die Markenart, die Zeitoption, die Schaltregel, die
Benutzung von Prioritäten, die Schaltstrategie und die Zeilenlänge
abgefragt. Optionen, die Sie bestehen lassen wollen, können Sie durch Eingabe
von <cr> bestätigen. Sollte bei einem Punkt nur eine Auswahlmöglichkeit bestehen, so geht die
Abfrage sofort zur nächsten Option weiter. Die Standardoptionen, die Sie
nach einem Erststart des Programms vorfinden, sind:
token type: black (for Place/Transition nets)
time option: no times
firing rule: normal
priorities : not to be used
strategy : single transitions
line length: 80
Alle Optionseinstellungen, die Sie vornehmen, werden in der Datei OPTIONS.ina gespeichert (siehe im Kapitel 2.3.1 auf Seite ).
Im folgenden werden alle möglichen Einstellungen einzeln vorgestellt.
Zuletzt geändert am: Thu Apr 10 15:08:18 MET DST 1997