Selective divergence

The starting point for a selective branch is a selective divergence. When adding a selective divergence, attach a transition to begin each alternative execution path. At runtime, the first transition in each divergent path is evaluated. The first transition to evaluate TRUE deactivates the other transitions and activates the step following it. Sequence execution continues in the selected path until the selective convergence is met.