xtlight3
xtlight3 flag  a_green flag  a_green flag  a_amber flag  a_amber flag  a_red flag  a_red flag  b_green flag  b_green flag  b_amber flag  b_amber flag  b_red flag  b_red flag  ped_green flag  ped_green flag  ped_red flag  ped_red flag  ped_grant flag  ped_grant when(timeout(timer)) => l(b_amber);r(b_red); ov(timer)=3*Sec... when(timeout(timer)) => l(b_amber);r(b_red); ov(timer)=3*Sec... when(timeout(timer)) => l(b_amber);r(b_red); ov(timer)=3*Sec... when(timeout(timer)) => l(b_red);l(b_amber); r(b_green); ov(... when(timeout(timer)) => l(b_red);l(b_amber); r(b_green); ov(... when(timeout(timer)) => l(b_red);l(b_amber); r(b_green); ov(... when(timeout(timer)) => r(a_amber);l(a_green); ov(timer)=5*S... when(timeout(timer)) => r(a_amber);l(a_green); ov(timer)=5*S... when(timeout(timer)) => r(a_amber);l(a_green); ov(timer)=5*S... when(timeout(timer)) => r(ped_red);l(ped_green); l(ped_grant... when(timeout(timer)) => r(ped_red);l(ped_green); l(ped_grant... when(timeout(timer)) => r(ped_red);l(ped_green); l(ped_grant... else => r(b_amber); ov(timer)=1*Second; else => r(b_amber); ov(timer)=1*Second; else => r(b_amber); ov(timer)=1*Second; else => else => else => when(v(ped_request)) => l(ped_red);r(ped_green); r(ped_grant... when(v(ped_request)) => l(ped_red);r(ped_green); r(ped_grant... when(v(ped_request)) => l(ped_red);r(ped_green); r(ped_grant... when(timeout(timer)) => l(a_amber);r(a_red); ov(timer)=2*Sec... when(timeout(timer)) => l(a_amber);r(a_red); ov(timer)=2*Sec... when(timeout(timer)) => l(a_amber);r(a_red); ov(timer)=2*Sec... when(timeout(timer)) => when(timeout(timer)) => when(timeout(timer)) => when(timeout(timer)) => when(timeout(timer)) => when(timeout(timer)) => when(timeout(timer)) => l(a_red);l(a_amber); r(a_green); ov(... when(timeout(timer)) => l(a_red);l(a_amber); r(a_green); ov(... when(timeout(timer)) => l(a_red);l(a_amber); r(a_green); ov(... when(timeout(timer)) => r(b_amber);l(b_green); ov(timer)=5*S... when(timeout(timer)) => r(b_amber);l(b_green); ov(timer)=5*S... when(timeout(timer)) => r(b_amber);l(b_green); ov(timer)=5*S... when(timeout(timer)) => r(a_amber); ov(timer)=3*Second; when(timeout(timer)) => r(a_amber); ov(timer)=3*Second; when(timeout(timer)) => r(a_amber); ov(timer)=3*Second; when(timeout(timer)) => r(a_amber); ov(timer)=3*Second; when(timeout(timer)) => r(a_amber); ov(timer)=3*Second; when(timeout(timer)) => r(a_amber); ov(timer)=3*Second; => r(a_red);r(b_red); l(b_amber);l(b_green); r(ped_red);l(pe... => r(a_red);r(b_red); l(b_amber);l(b_green); r(ped_red);l(pe... => r(a_red);r(b_red); l(b_amber);l(b_green); r(ped_red);l(pe... flag  ped_request flag  ped_request timer timer all_red_once_more amber_for_b green_for_b ready_b green_for_pedestrians all_red_again amber_for_a green_for_a ready_a initially_all_red sequence_lights sequence_lights sequence_lights