Saut hors d'une séquence en ET

Introduction

La possibilité de sauter dans ou hors d'une séquence en ET peut être activée en mode multijeton.

Dans tous les cas, des jetons supplémentaires sont générés.

Saut hors d’une séquence en ET

Si...		Alors
Si la condition de transition `a` est vraie et que `b` est fausse,		une séquence s'exécute vers `S_2_1` et `S_2_2`.
Si les étapes `S_2_1` et `S_2_2` sont activées,		les séquences sont exécutées indépendamment l'une de l'autre.
Si la condition de transition `c` est vraie,		un saut est exécuté vers `S_2_3`.
Le saut hors de la séquence en ET génère un deuxième jeton. Les deux jetons opèrent alors en parallèle, c'est-à-dire que `S_2_1` et `S_2_3` sont actives en même temps.
Jeton 1 (S_2_1)		Jeton 2 (S_2_3)
Si...	Alors	Si...	Alors
Si la condition de transition `e` est vraie,	une séquence s'exécute vers `S_2_5`.	Si la condition de transition `d` est vraie,	une séquence s'exécute vers `S_2_4`.
		Si la condition de transition `f` est vraie,	une séquence s'exécute vers `S_2_5`.
Si `S_2_5` est encore active (jeton 1) en raison de l'activation de la condition de transition `e`, le jeton 2 s'arrête et la séquence continue en mode monojeton. Si `S_2_5` n'est plus active (jeton 1), elle est réactivée par le jeton 2 et les deux jetons continuent à opérer en parallèle (mode multijeton).

Saut entre deux branches d'une séquence en ET

Si...		Alors
Si la condition de transition `a` est vraie,		une séquence s'exécute vers `S_4_1` et `S_4_2`.
Si les étapes `S_4_1` et `S_4_2` sont activées,		les séquences sont exécutées indépendamment l'une de l'autre.
Si la condition de transition `b` est vraie,		une séquence s'exécute vers `S_4_3`.
Si la condition de transition `c` est vraie,		un saut est exécuté vers `S_4_1`.
Le saut hors d'une séquence de divergence génère un deuxième jeton. Les deux jetons opèrent en parallèle, ce qui signifie que `S_4_3` et `S_4_1` sont actives en même temps.
Jeton 1 (S_4_3)		Jeton 2 (S_4_1)
Si...	Alors	Si...	Alors
L'étape `S_4_3` est traitée		L'étape `S_4_1` est traitée
		Si la condition de transition `b` est vraie,	une séquence s'exécute vers `S_4_3`.
Si l'étape `S_4_3` est encore active (jeton 1) lors de l'activation par le jeton 2, ce dernier s'arrête et la séquence continue en mode monojeton. Si l'étape `S_4_3` n'est plus active (jeton 1) en raison de l'activation par le jeton 2, elle est réactivée par le jeton 2 et les deux jetons continuent d'opérer en parallèle (mode multijeton). Dans les deux cas, la séquence en ET est quittée si la condition de transition `d` est vraie.

Quitter une séquence en ET avec une divergence en OU

Si...		Alors
Si la condition de transition `a` est vraie,		une séquence s'exécute vers `S_3_1` et `S_3_2`.
Si les étapes `S_3_1` et `S_3_2` sont activées,		les séquences sont exécutées indépendamment l'une de l'autre.
Si la condition de transition `b` est fausse et que `c` est vraie,		une séquence s'exécute vers `S_3_5`.
La séquence exécutée sur la divergence en OU pour sortir de la séquence en ET génère un deuxième jeton. Les deux jetons opèrent en parallèle, ce qui signifie que `S_3_1` et `S_3_5` sont actives en même temps.
Jeton 1 (S_3_1)		Jeton 2 (S_3_5)
Si...	Alors	Si...	Alors
Comme `S_3_4` ne peut pas devenir active, `S_3_1` reste (jeton 1) active.		Si la condition de transition `d` est vraie,	une séquence s'exécute vers `S_3_6`.
Si la condition de transition `a` est vraie, une séquence s'exécute vers `S_3_1` et `S_3_2`. Le jeton 2 est alors arrêté et la séquence est à nouveau exécutée en mode monojeton.
Si la condition de transition `a` est vraie, une séquence s'exécute vers `S_3_1` et `S_3_2`.
		Si la condition de transition `b` est vraie et que `c` est fausse,	une séquence s'exécute vers `S_3_4`.
Comme `S_3_4` ne peut pas devenir active, `S_3_1` reste (jeton 1) active jusqu'à ce qu'une séquence apparaisse sur `S_3_2` (jeton 2) et que la transition soit `b`. Si `S_4_4` n'est plus active (jeton 1), elle est réactivée par le jeton 2 et les deux jetons continuent d'opérer en parallèle (mode multijeton). (La convergence des deux jetons peut aussi être réalisée dans l'étape `S_4_3`.)