Hola,
las señales de entrada a considerar para la transición de estados son 2: BOTON_N y PULSO_LENTO.
El que sean pulsos no te tiene que condicionar, describe como es la naturaleza de la señal. Te esa informando que es una señal que alterna entre 1 y o en forma periódica y como su nombre lo indica y se ve en el diagrama, esa en un estado u otro durante varios períodos de reloj.
Te tiro una pista como para arrancar. Deberias de tener un estado de reposo en el que te mantenes mientras BOTON_N sea uno sin importar el estado de PULSO_LENTO, dando salidas ENA_N_O =1 y RESET_N_O=1.
Luego podes tener 2 situaciones, cuando BOTON_N pase a 0, que PULSO_LENTO sea 1 o 0. En caso de que sea 0, cuando llegue el flanco de reloj, te deberías de ir a un nuevo estado en el que esperas que PULSO_LENTO pase a 1 (para ir a otro estado que espera que baje a 0) o podes tener que volver al estado inicial si BOTON_N vuelve a valer 1.
Esa es la forma de razonar el diagrama de estado. Como su nombre lo indica, cada circulo del diagrama representa un estado en el que se encuentra el circuito: esperando BOTON_N, con BOTON_N activado y esperando PULSO_LENTO=1, etc.
Lo más dificil es llegar a un diagrama de estados (especificación formal) a partir de una letra (especificación informal) y la unica forma de mejorar, es practicar mucho. Hagan los prácticos y consulten en las clases de consulta y con sus compañeros.
Saludos.