Estado - Disparador:
Las filas indican los estados actuales y las columnas indican eventos disparadores (o de la otra manera si prefiere, en un formato de Disparador - Estado ).
La celda en la intersección de una fila y una columna identifica el estado destino en la transición si el disparador ocurre, y la condición (o guarda) de la transición.
