Le graphe d'états est une solution Logicielle de la fonction TRAITER.
Il permet de décrire, voire programmer, le fonctionnement d'un système technique.
L'exemple ci contre représente un graphe d'états d'une radio.
Il est composé de différents éléments :
des états : rectangles arrondis,
des transitions : flèches.