Séquences en ET

Pour les divergences en ET, la validation d'une seule transition active plusieurs étapes (branches) en parallèle (32 au maximum). Ceci est valable aussi bien pour le jeton unique que pour les jetons multiples.

Si…	Alors
Si `S_5_10` est active et que la condition de transition `a` (faisant partie de la transition commune) est également vraie,	une séquence s'exécute de `S_5_10` vers `S_5_11`, `S_5_12` et `S_5_13`.
Si les étapes `S_5_11`, `S_5_12` et `S_5_13` sont activées,	les séquences sont exécutées indépendamment l'une de l'autre.
Si les étapes `S_5_14`, `S_5_15` et `S_5_16` sont actives en même temps et que la condition de transition `e` (faisant partie de la transition commune) est vraie,	une séquence est exécutée de `S_5_14`, `S_5_15` et `S_5_16` vers `S_5_17`.

Terminaison d'une divergence en ET par une convergence en OU

Pour les jetons multiples, il est possible de terminer les divergences en ET par une convergence en OU au lieu d'une convergence en ET.

Si...		Alors
Si la condition de transition `a` est vraie,		une séquence s'exécute vers `S_5_1` et `S_5_2`.
Si les étapes `S_5_1` et `S_5_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 et que `c` est fausse,		une séquence s'exécute vers `S_5_3`.
Un deuxième jeton est créé par la séquence exécutée sur la convergence en OU de sortie de la séquence en ET. Les deux jetons opèrent en parallèle, ce qui signifie que `S_5_2` et `S_5_3` sont actives en même temps.
Jeton 1 (S_5_3)		Jeton 2 (S_5_2)
Si...	Alors	Si...	Alors
L'étape `S_5_3` est active.		L'étape `S_5_2` est active.
		Si la condition de transition `c` est vraie,	une séquence s'exécute vers `S_5_3`.
Si `S_5_3` est encore active (jeton 1), le jeton 2 s'arrête et la séquence est exécutée à nouveau en mode de jeton unique. Si `S_5_3` n'est plus active (jeton 1), elle est réactivée par le jeton 2 et les deux jetons continuent à être exécutés en parallèle (mode multijeton).

Si...		Alors
Si la condition de transition `a` est vraie,		une séquence s'exécute vers `S_5_1` et `S_5_2`.
Un deuxième jeton est créé par la séquence exécutée sur la convergence en OU de sortie de la séquence en ET. Les deux jetons fonctionnent en parallèle, ce qui veut dire que les étapes `S_5_1` et `S_5_2` sont actives en même temps.
Jeton 1 (S_5_2)		Jeton 2 (S_5_1)
Si...	Alors	Si...	Alors
L'étape `S_5_2` est active.		L'étape `S_5_1` est active.
		Si la condition de transition `b` est vraie,	une séquence s'exécute vers `S_5_2`.
Si `S_5_2` est encore active (jeton 1), le jeton 2 s'arrête et le traitement de la séquence continue en mode jeton unique. Si l'étape `S_5_2` n'est plus active (jeton 1), elle est réactivée par le jeton 2 et les deux jetons continuent à être exécutés en parallèle (mode multijeton).

Utilisation d'une divergence en OU dans une séquence en ET

Si une seule divergence en OU est utilisée dans une séquence en ET, cela peut déclencher un blocage de la séquence.

Si…	Alors
Si la condition de transition `a` est vraie,	une séquence est exécutée vers `S_7_1` et `S_7_2`.
Si les étapes `S_7_1` et `S_7_2` sont activées,	les séquences sont exécutées indépendamment l'une de l'autre.
Si la condition de transition `d` est vraie,	une séquence s'exécute vers `S_7_5`.
Si la condition de transition `b` est vraie,	une séquence s'exécute vers `S_7_3`.
Comme `S_7_3`, `S_7_4` et `S_7_5` sont reliées par une convergence en ET, il n'est pas possible de quitter la séquence en ET car `S_7_3` et `S_7_4` ne peuvent pas être actives en même temps. (Soit `S_7_3` est activée avec la condition de transition `b`, soit `S_7_4` est activée avec la condition de transition `c`.) Par conséquent, `S_7_3`, `S_7_4` et `S_7_5` ne peuvent pas non plus être actives en même temps. La séquence est bloquée. Ce blocage peut être levé, par exemple par un deuxième jeton décalé dans le temps exécuté via la transition `c`.