next up previous contents index
Next: 2.4.2 Der Session-Report Up: 2.4 Die Struktur einer Previous: 2.4 Die Struktur einer


2.4.1 Aufruf und Beenden von INA

Zum Starten des Programms gehen Sie in das Verzeichnis, in dem sich das zu analysierende Netz befindet und in dem die erstellten Dateien abgelegt werden sollen und geben 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.


next up previous contents index
Next: 2.4.2 Der Session-Report Up: 2.4 Die Struktur einer Previous: 2.4 Die Struktur einer

© 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