R2940

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.