Ejemplo FSM

Integrantes
Wilson Castaeda Daniel Hernndez Adan Herrera Marlon Velsquez

 En la interseccin de una carretera y un camino se instala un semforo con el siguiente comportamiento:

En el estado inicial indica verde para la carretera y rojo en el camino. Existen sensores que detectan la presencia de vehculos en el camino, cuando esto ocurre se habilita el trnsito por el camino durante 10s. Transcurridos los 10 s, se pone verde la carretera y durante 20 segundos no se atiende la seal del sensor.

Diagrama de Estados
R1,A2 Cuenta=0
Inicial Fin_Cuenta_20

Sensor

Espera
V1,R2 Cuenta=Cuenta+1 Fin_Cuenta_10 Cami A R1,A2 Cuenta=0

Carre_A

A1,R2 Cuenta=0

Cami_V

R1,V2 Cuenta=Cuenta+1