2.5.5 Firing strategy

INA offers two firing strategies. However, depending on the selection of the other options, a restriction on the available strategies might be necessary. In case only one strategy is possible within the current context, it is automatically selected, and INA continues with the inquiry for the next option.

Here are the alternatives:

<T> fire single transitions

This is the common firing strategy, which fires transitions subsequently.

<S> firing maximal steps

This strategy always fires maximal (w.r.t. set inclusion) sets of concurrently enabled transitions. However, the set of reachable markings is thereby reduced.