Definición


Este diagrama es un Grafo donde los estados del sistema se representan como nodos y las aristas direccionadas son los cambios de estado.