Un diagramme états-transitions est un schéma utilisé en génie logiciel pour représenter des automates déterministes. Il fait partie du modèle UML et s`inspire principalement du formalisme des statecharts et rappelle les grafcets des automates. S`ils ne permettent pas de comprendre globalem...