xtlight2
xtlight2 when(v(ped_grant)) => l(ped_request); l(ped_wait); when(v(ped_grant)) => l(ped_request); l(ped_wait); when(v(ped_grant)) => l(ped_request); l(ped_wait); on(ped_button) => r(ped_request); r(ped_wait); on(ped_button) => r(ped_request); r(ped_wait); on(ped_button) => r(ped_request); r(ped_wait); => l(ped_request); l(ped_wait); => l(ped_request); l(ped_wait); => l(ped_request); l(ped_wait); ped_request_pending no_pedestrians flag ped_wait flag ped_wait flag ped_request flag ped_request flag ped_grant flag ped_grant signal ped_button signal ped_button register_pedestrian_request register_pedestrian_request register_pedestrian_request