Wenn Sie im Hauptmenü die Funktion edit durch Eingabe von <E> auswählen, erscheint ein den aktuellen Anfangsoptionen entsprechendes Editormenü. Die Abbildung zeigt das Menü bei Verwendung der Standardoptionen. Wenn Sie einen anderen Netztyp ausgewählt haben, werden zusätzliche Lösch- und Änderungsfunktionen angeboten. Sollte sich noch kein Netz im internen Speicher von INA befinden, ist das Funktionsangebot weiter eingeschränkt, es werden nur die dann sinnvollen Kommandos angezeigt.
Editor Menue:
Quit the editing process........................Q
Read a net from a File.........................RF
Read a net from the Terminal...................RT
Read a Node from the terminal..................RN
Add a loop.....................................RL
Read an Arc from the terminal..................RA
Insert a run-place.............................RP
Write the net to a File........................WF
Write the net to the Terminal..................WT
Delete the net Totally.........................DT
Delete a Node..................................DN
Delete all Isolated nodes......................DI
Change nUmbers.................................CU
Change Names...................................CN
Change Multiplicities..........................CM
Change the Token load (marking)................CT
Node Doubling..................................ND
Merge two nOdes................................MO
Merge two Nets ................................MN
Test Connectedness.............................TC
edit>
Die Kommandos können in drei Kategorien eingeteilt werden: Lese- und Schreibkommandos (beginnend mit <R> oder <W> ), Lösch- und Änderungskommandos (beginnend mit <D> oder <C> ) und Verschmelzungskommandos (beginnend mit <M> ).
Im folgenden finden Sie eine Beschreibung aller im Editormenü möglichen Kommandos. Wichtig: Die Verfügbarkeit einiger Funktionen hängt von den aktuellen Netzoptionen ab!
Einige Funktionen haben nur einen Sinn, wenn INA ein Netz im internen Speicher hat. Sie erhalten sonst die Meldung no net present. Sollte das Netz nur aus Plätzen bzw. Transitionen bestehen, erhalten Sie entsprechende Meldungen, da das Netz unvollständig ist: only places present bzw. only transitions present.
Folgendes Kommando gehört zu keiner der oben genannten Kategorien, ist aber selbstverständlich verfügbar:
Durch Eingabe von <Q> wird der Editor verlassen. Falls Sie ein unvollständiges Netz eingegeben haben, werden Sie zum Löschen aufgefordert: Delete the fragmented net?
© 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