Résumé
Toutes les transitions arrivant sur un nœud de jointure doivent venir de régions différentes.
Détails
Les régions d’un état orthogonal sont concurrentes et donc chaque transition arrivant sur un nœud de jointure doit partir d’une région différente.
Conseils
Si vous avez plusieurs transitions partant d’une même région, supprimez une des transitions ou créez une nouvelle région.