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.
© 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