Description

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

A jump into a parallel string does not activate all branches. Since the transition after the parallel joint is only evaluated if all steps which directly precede the transition are set, the parallel string can no longer be departed, the string is blocking.

Jump into a Parallel String

Jump into a Parallel String

If...

Then

If the transition condition a is true,

then a sequence runs to S_1_1 and S_1_2.

If steps S_1_1 and S_1_2 are activated,

then the strings run independently of one another.

If S_1_2 is active and transition condition b, is true,

then a sequence runs from S_1_2 to S_1_3.

If S_1_1 and S_1_3 are active and transition condition c, which belongs to the common transition, is true,

then a sequence runs from S_1_1 and S_1_3 to a jump to S_1_1.

If S_1_1 is activated by the jump,

then only the branch from S_1_1 is active. The branch from S_1_2 is not active.

Since S_1_1 and S_1_3 are not active at the same time, the string cannot continue. The string is blocked.

This block can removed by e.g. a second timed token that is set to reactivate step S_1_2.