With this command, you can program a sequence of reduction steps, which may be executed automatically. You enter a sequence of letters ending with <Q> : Give a sequence of letters finished by Q. To each letter, a reduction step is assigned. Possible entries are therefore <I> , <S> , <F> , <M> , <A> , <B> , <C> , <U> , <V> , <W> , and <Q> . After you have quit programming, INA displays the program and awaits confirmation of its execution: Execute? If you answer the question with <Y> , all entered procedures are executed in the specified order. Afterwards, INA returns to the reduction menu.If this command is used again (without returning to the main menu meanwhile), INA displays the most recently entered program, and allows another execution.
With this command, you can specify places and transitions of the current net which are to be excluded from the reduction. The exceptions can be saved in a file with the extension .exc. INA first lists all such files. You can either select a file to be read, or, by pressing <esc> , enter the exceptions directly.If the command is used again (INA has exempted places and transitions in the memory), you first have to answer the question Delete exceptions? (P)laces, (T)ransitions, (N)o . When entering <P> or <T> , you see the numbers of the places or transitions, which have been exempted so far. Now you can either determine the exceptions to be deleted one after the other, or, by entering <A> , delete them all. However, should you answer with <N> , you can read another file or directly enter further exceptions. Please note: the existing exceptions are maintained in this case.
With this command, the current net can be tested for connectedness. It works exactly like the command <T> <C> in the editor (see page in chapter 3.3).
With this command, the current net can be saved with a new net number. You are requested to enter a new net number and the name of the output file. The default extension is .red, since you are saving a reduction result.
With this command, the place or transition numbers can be incremented by a user-defined constant. The exempted nodes will not be considered here. See also the description of the editor command <C> <U> (page in chapter 3.2).
This command displays information about the current net on the screen. It is identical to the command <W> <T> in the editor (see page in chapter 3.1).
With this command, the original net (which was stored at the beginning in the file ININET.pnt) can be read again, in order to try out other reduction steps, or a different order of operations.The exceptions entered so far remain unaltered, and thus, if necessary, have to be checked: Exceptions ok after reset?.
This command works exactly like the sub-commands <R> and <F> in the editor command <C> <U> (see page in chapter 3.2), and is used to compact the node numbers. The places and/or transitions are re-numbered, starting with 1. It is recommendable to apply this function at the end of reduction, as it is advantageous for many analysis procedures, with regard to running time and efficient memory usage, when the node numbers are "dense".
© 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)