Tengo un problema de diseño de gráficos ASM que he estado atascado durante años:
Un ascensor en un edificio solo tiene una capacidad máxima de 2 personas. Dos sensores detectan personas que entran (entrada ENTER) y salen (entrada EXIT) del elevador. Se requiere un sistema para implementar las siguientes condiciones:
a) Si más de 2 personas entran al elevador, debe sonar una alarma. De lo contrario, la alarma no debe sonar.
b) Si no hay personas en el elevador, las luces deben estar apagadas. De lo contrario, las luces deben estar encendidas.
Suponga que un máximo de 1 persona puede entrar o salir del elevador durante cualquier ciclo de 1 reloj. Suponga que nadie intentará entrar en el elevador cuando la alarma suene.
¿Cómo hago para producir un cuadro ASM para describir las condiciones anteriores?
Sé que este es un problema bastante trivial, pero cualquier ayuda sería muy apreciada.