MR_GREEN_1 MR_ctl = 11 SR_ctr = 01 MR_YELLOW MR_ctl = 10 SR_ctr = 10 IDLE MR_ctl = 00 SR_ctr = 00 SR_GREEN MR_ctl = 01 SR_ctr = 11 SR_YELLOW MR_ctl = 10 SR_ctr = 10 MR_GREEN_2 MR_ctl = 11 SR_ctr = 01 MR_cars>=PARAMETER cnt>=30 rst=1 cnt>=3 rst=1 cnt>=10 rst=1 cnt>=3 rst=1 rst=1 cnt<10 rst=1 rst=0 rst=0 rst=0 rst=0 cnt<3 rst=1 cnt<3 rst=1 rst=0 cnt<30 rst=1 cnt<30 rst=1 rst=0 0<MR_cars<PARAMETER cnt>=30 rst=1 cnt>=30 rst=1 MR_cars=0 cnt<30 rst=1