AUTOMATE

Représentation de l'ensemble des états d'un objet, et des transitions qui lui sont associées.