2.5 Options

After the start of INA , the current options are displayed in the main menu. By entering <O> , these can be changed. This way you inform INA which kind of nets you would like to investigate.

There, the token type, time option, firing rule, use of priorities, firing strategy, and line length are requested subsequently. Options which you want to retain can be confirmed by entering <cr> . If for some inquiry only one choice exists, the dialogue continues immediately with the next one. After the first start of the program, the default 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

The selected options are saved in the file OPTION.ina (see chapter 2.3.1 on page ).

In the following, all possible selections are individually presented.