When you select the edit function by entering <E> in the main menu, an editor menu appears according to the current options. The illustration below shows the menu according to the default options. If a different kind of net has been selected, additional deleting and changing functions are offered. If there is not already a net in the internal memory of INA , the range of functions is further reduced, as only the applicable commands will be displayed.
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>
The commands can be split into three categories: Reading and writing commands (beginning with <R> or <W> ), deleting and changing commands (beginning with <D> or <C> ), and merging commands (beginning with <M> ).
In the following sections, you will find a description of all commands which can appear in the editor menu. Important to note: the availability of some functions depends on the current net options!
Some functions only make sense if INA has a net in the internal memory. Otherwise you receive the message no net present. Should the net consist of places or transitions only, you receive corresponding messages, because the net is incomplete: only places present or only transitions present.
The following command belongs to none of the above mentioned categories, but is, of course, nonetheless available:
By entering <Q> you leave the editor. In case you have entered an incomplete net, you will be requested to delete: Delete the fragmented net?
© 1996-99 Prof. Peter H. Starke (starke@informatik.hu-berlin.de) und Stephan Roch (roch@...)
INA Manual Version 2.2 (last changed 1999-04-19)