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

L'état initial : pseudo-état qui indique un point d'entrée dans un graphe.

L'état final : non obligatoire, il indique que le système décrit n'a plus d'état actif.

Un état représente une période de la vie du système. Pendant cette période, le système accomplit une ou plusieurs actions, ou attend un événement. Il peut être actif ou non ; plusieurs états peuvent être actifs en même temps dans le même système. Un état est dessiné sous la forme d'un rectangle aux coins arrondis, contenant son nom.