R2950

Résumé

Toutes les Transitions sortant d’un nœud de séparation doivent aller vers des Regions différentes.

Détails

Les Regions d’un State orthogonal étant concurrentes, chaque Transition sortant d’un nœud de séparation devrait arriver dans une Region différente.

Conseils

Si vous avez plusieurs Transitions arrivant sur une même Region, supprimez l’une des Transitions ou déplacez les States ciblés dans une autre Region.