ina
am Eingabeprompt ein.
Sollte sich im Verzeichnis die Datei OPTIONS.ina befinden, so wird diese eingelesen. Die Datei COMMAND.ina dagegen wird nur abgearbeitet, wenn Sie die Frage Same procedure as last time? (erscheint in diesem Fall beim Start) mit <Y> beantworten. Die gespeicherten Kommandos der letzen Sitzung werden dann wiederholt, bis Sie <H> für halt eingeben, oder alle Aktionen ausgeführt worden sind.
Gibt es keine COMMAND.ina oder Sie haben die Abfrage mit <N> beantwortet, so erscheint das Hauptmenü auf dem Bildschirm und die eingestellten Optionen werden angezeigt:
>>>>>>>>>>>> Welcome to the Integrated Net Analyzer! <<<<<<<<<<<<
Version 2.1; Peter Starke, Berlin 1998
Current net options are:
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
Do You want to
edit ? .......................................E
fire ? .......................................F
analyse ? ....................................A
reduce ? .....................................R
read the session report ? ....................S
delete the session report ? ..................D
change options ? .............................O
quit ? .......................................Q
choice >
Durch Tippen der angezeigten Buchstaben wird die entsprechende Funktion ausgewählt.
Zum Beenden eines Kommandos oder eines Menüs kann in den meisten Fällen <Q> eingegeben werden. An vielen Stellen können so auch laufende Berechnungen vorzeitig abgebrochen werden.
Im Hauptmenü wird durch Eingabe von <Q> das Programm beendet. Befindet sich im internen Speicher noch ein Netz, so wird die erste Frage von INA sein, ob Sie dieses noch speichern möchten oder ob es vergessen werden kann: Forget the net? Außerdem werden Sie gefragt, ob die eingegebenen Kommandos gespeichern werden sollen: Save the commands to COMMAND.ina?. Wenn ja, dann stehen diese für einen weiteren Durchlauf zur Verfügung. INA wird Sie noch fragen, ob Sie den aktuellen Session-Report umbenennen wollen, um ihn vor überschreiben zu schützen: Rename SESSION.ina? Bei Eingabe von <Y> wird ein Session output file angefordert, eine Datei, die noch nicht existieren darf.
© 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