Toutes les transitions arrivant sur un nœud de jointure doivent venir de régions différentes.
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.
Si vous avez plusieurs transitions partant d’une même région, supprimez une des transitions ou créez une nouvelle région.