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

Dans une machine à états, la loi d'évolution des états n'est évidemment pas aléatoire. Cette loi est soigneusement choisie par le créateur de la machine afin que celle-ci remplisse la fonction précise.

Le graphe d'états, comme son nom l'indique, représente graphiquement l'évolution des états d'une machine d'états.

Remarque :

Le graphe d'états est un outil graphique permettant de modéliser le comportement séquentiel, en termes de déroulement d'actions temporelles.

Mais il peut aussi servir à programmer les composants réalisant la fonction "Traiter" de la chaîne d'information (microcontrôleur, microprocesseur, automate programmable, ...). Les variables d'entrée de la fonction "Traiter" sont alors les informations fournies par la fonction "Acquérir" (capteurs, ...) et les variables de sortie sont les ordres pour la fonction "Distribuer" de la chaîne d'énergie, éventuellement via la fonction "Communiquer".