Sequence Jumps and Sequence Loops

Sequence Jump

A sequence jump is a special type of alternative branch that can be used to skip several steps of a sequence.

A sequence jump can be made with jumps or with links.

If...	Then
If transition condition `a` is true,	then a sequence is run from `S_5_10` to `S_5_11`, `S_5_12` and `S_5_13`.
If transition condition `b` is true,	then a jump is made from `S_5_10` directly to `S_5_13`.
If transition condition `e` is true,	then a sequence is run from `S_5_10` to `S_5_14` and `S_5_13`.

A sequence loop is a special type of alternative branch with which one or more branches lead back to a previous step.

A sequence loop can be made with jumps or with links.

If...	Then
If transition condition `a` is true,	then a sequence runs from `S_1_11` to `S_1_12`.
If transition condition `b` is true,	then a sequence runs from `S_1_12` to `S_1_13`.
If transition condition `b` is false and `c` is true,	then a sequence runs from `S_1_12` to `S_1_14`.
If transition condition `f` is true,	then a jump is made from `S_1_14` back to `S_1_12`.
The loop from `S_1_12` by means of transition conditions `c` and `f` back to `S_1_12` is repeated until transition condition `b` is true or `c` is false and `d` is true.
If transition conditions `b` and `c` are false and `d` is true,	then a jump is made from `S_1_12` directly back to `S_1_11`.
The loop from `S_1_11` to `S_1_12` and back to `S_1_11` via transition conditions `a` and `d` is repeated until transition condition `b` or `c` is true.

Infinite sequence loops are not permitted within an alternative sequence.

If...	Then
If transition condition `b` is true,	then a sequence runs from `S_1_1` to `S_1_3`.
If transition condition `e` is true,	then a jump is made to `S_1_4`.
If transition condition `f` is true,	then a jump is made to `S_1_3`.
The loop from `S_1_3` via transition condition `e`, to S_1_4 via transition condition `f` and a jump back to `S_1_3` again, is now repeated infinitely.