Jump out of a Parallel String

Introduction

The ability to jump into a parallel string or out of a parallel string can be enabled optionally with multi-token

Extra tokens are generated in all cases.

Jump out of a Parallel String

If...		Then
If the transition condition `a` is true and `b` is false,		then a sequence runs to `S_2_1` and `S_2_2`.
If steps `S_2_1` and `S_2_2` are activated,		then the strings run independently of one another.
If the transition condition `c` is true,		then a jump is made to `S_2_3`.
A second token is created by the jump out of the parallel string. Both tokens are running parallel to one another, i.e. `S_2_1` and `S_2_3` are active at the same time.
Token 1 (S_2_1)		Token 2 (S_2_3)
If...	Then	If...	Then
If the transition condition `e` is true,	then a sequence runs to `S_2_5`.	If transition condition `d` is true,	then a sequence runs to `S_2_4`.
		If transition condition `f` is true,	then a sequence runs to `S_2_5`.
If `S_2_5` is still active (token 1) because of the activation of transition condition `e`, then token 2 is ended and the string will be further processed as Single-Token. If `S_2_5` is no longer active (token 1), then it is reactivated by token 2 and both tokens continue running parallel (Multi-Token).

Jump Between Two Branches of a Parallel String

If...		Then
If the transition condition `a` is true,		then a sequence runs to `S_4_1` and `S_4_2`.
If steps `S_4_1` and `S_4_2` are activated,		then the strings run independently of one another.
If transition condition `b` is true,		then a sequence runs to `S_4_3`.
If the transition condition `c` is true,		then a jump is made to `S_4_1`.
A second token is created by the jump out of a branch string. Both tokens are running parallel to one another, i.e. `S_4_3` and `S_4_1` are active at the same time.
Token 1 (S_4_3)		Token 2 (S_4_1)
If...	Then	If...	Then
Step `S_4_3` is processed		Step `S_4_1` is processed
		If transition condition `b` is true,	then a sequence runs to `S_4_3`.
If step `S_4_3` is still active (token 1) during the activation by token 2 then token 2 is ended and the string will continue to be processed as Single-Token. If step `S_4_3` is no longer active (token 1) because of the activation by token 2 , then it is reactivated by token 2 and both tokens continue running parallel (Multi-Token). In both cases, true transition condition `d` causes the parallel string to be left.

Leaving a Parallel String with an Alternative Branch

If...		Then
If the transition condition `a` is true,		then a sequence runs to `S_3_1` and `S_3_2`.
If steps `S_3_1` and `S_3_2` are activated,		then the strings run independently of one another.
If transition condition `b` is false and `c` is true,		then a sequence runs to `S_3_5`.
A second token is created by the sequence running on the alternative branch out of the parallel string. Both tokens are running parallel to one another, i.e. `S_3_1` and `S_3_5` are active at the same time.
Token 1 (S_3_1)		Token 2 (S_3_5)
If...	Then	If...	Then
Since `S_3_4` cannot become active, `S_3_1` remains (token 1) active.		If transition condition `d` is true,	then a sequence runs to `S_3_6`.
If transition condition `a` is true then a sequence runs to `S_3_1` and `S_3_2`. This ends token 2 and the string is again processed as Single-Token.
If the transition condition `a` is true, then a sequence runs to `S_3_1` and `S_3_2`.
		If transition condition `b` is true and `c` is false,	then a sequence runs to `S_3_4`.
Since `S_3_4` cannot become active, `S_3_1` remains (token 1) active until a sequence appears on `S_3_2` (token 2) and the transition is `b`. If `S_4_4` is no longer active (token 1), then it is reactivated by token 2 and both tokens continue running parallel (Multi-Token). (Merging the two tokens can also be done in `S_4_3`.)