Modéliser le comportement des systèmes par graphe d'états