Erreurs de mise à jour du graphe d'états

Lors de l'édition de la table des transitions, il arrive que le graphe d'états ne soit pas mis à jour.
Un rafraîchissement de la page est alors nécessaire pour que les deux vues redeviennent cohérentes.

TODO Proposer un scénario pour reproduire le problème.