Selection Divergences

A selection divergence (OR) is a multiple link from one step to multiple transitions. The selection divergence enables an active token to pass into one of a number of branches.

Conditions attached to the different transitions at the beginning of a selection divergence are not implicitly exclusive. Exclusivity of transitions is defined by the priorities set to those transitions following the divergence.

Selection divergences are represented by single horizontal lines.

The first transitions following a single divergence are set in a group to define their priority of execution. The priority of transitions is automatically assigned and displayed on the left, in the order of creation of the divergence branch. A different priority for a transition in the properties may be selected. The possible priority values range from 1 to 255 where the higher value corresponds to the higher priority.

Example

(* SFC Program with selection divergence and convergence *)