Évolution d'un graphe d'états
Pour évoluer (changer d'état) il faut :
Avoir un état actif ;
La condition de la liaison orientée soit VRAIE (="1").
A ce moment là, l'état précédemment actif est désactivé et le nouvel état est actif.
Cliquer sur l'image pour voir l'animation s'activer