4.3 Auxiliary functions

This section describes some help functions.

• <Q> Quit
• <W> Write the actual marking to a file
• <S> Show the stubborn set used by the stubborn red. reachab. graph
• <A> All minimal stubborn sets to be shown

<Q> Quit

With this command, you can quit firing and return to the main menu, whereby the original marking of the net is automatically reset. Long calculations can be aborted similarly.

<W> Write the actual marking to a file

This command offers the possibility to save the marking just reached in a file, e.g. in order to calculate a shortest path later on. After entering the name of a file, the current marking is written into it, whereby the default extension is .mar.

Both of the following functions are only offered if a stubborn reduction (see page in chapter 6.5.1) is possible. For details of implementation see [Pog94, Berechnung sturer Mengen].

<S> Show the stubborn set used by the stubborn red. reachab. graph

With this command, the stubborn sets are displayed, which were chosen by INA during the stubborn reduction of the reachability graph.

<A> All minimal stubborn sets to be shown

With this command, all minimal stubborn sets are outputted.