2.5 Optionen

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.