[logic]
active = sr_idle@pas_b400_sr_hall_1

[sr_idle@pas_b400_sr_hall_1]
on_info = {-pas_b400_sr_hall_1 =actor_in_zone(pas_b400_sr_hall_1)} %+pas_b400_sr_hall_1%
on_info2 = {=actor_in_zone(pas_b400_sr_hall_2)} sr_idle@pas_b400_sr_hall_2 %-pas_b400_sr_hall_1 +pas_b400_sr_hall_2%
on_info3 = {=actor_in_zone(pas_b400_sr_hall_3)} sr_idle@pas_b400_sr_hall_3 %-pas_b400_sr_hall_1 +pas_b400_sr_hall_3%
on_info4 = {=actor_in_zone(pas_b400_sr_hall_6)} sr_idle@pas_b400_sr_hall_6 %-pas_b400_sr_hall_1 +pas_b400_sr_hall_6%

[sr_idle@pas_b400_sr_hall_2]
on_info = {=actor_in_zone(pas_b400_sr_hall_1) !actor_in_zone(pas_b400_sr_hall_2)} sr_idle@pas_b400_sr_hall_1 %-pas_b400_sr_hall_2 +pas_b400_sr_hall_1%
on_info2 = {=actor_in_zone(pas_b400_sr_hall_3)} sr_idle@pas_b400_sr_hall_3 %-pas_b400_sr_hall_2 +pas_b400_sr_hall_3%
on_info3 = {=actor_in_zone(pas_b400_sr_hall_5)} sr_idle@pas_b400_sr_hall_5 %-pas_b400_sr_hall_2 +pas_b400_sr_hall_5%

[sr_idle@pas_b400_sr_hall_3]
on_info = {=actor_in_zone(pas_b400_sr_hall_1) !actor_in_zone(pas_b400_sr_hall_3)} sr_idle@pas_b400_sr_hall_1 %-pas_b400_sr_hall_3 +pas_b400_sr_hall_1%
on_info2 = {=actor_in_zone(pas_b400_sr_hall_2) !actor_in_zone(pas_b400_sr_hall_3)} sr_idle@pas_b400_sr_hall_2 %-pas_b400_sr_hall_3 +pas_b400_sr_hall_2%
on_info3 = {=actor_in_zone(pas_b400_sr_hall_5)} sr_idle@pas_b400_sr_hall_5 %-pas_b400_sr_hall_3 +pas_b400_sr_hall_5%
on_info4 = {=actor_in_zone(pas_b400_sr_hall_6)} sr_idle@pas_b400_sr_hall_6 %-pas_b400_sr_hall_3 +pas_b400_sr_hall_6%
on_info5 = {=actor_in_zone(pas_b400_sr_hall_7)} sr_idle@pas_b400_sr_hall_7 %-pas_b400_sr_hall_3 +pas_b400_sr_hall_7%

[sr_idle@pas_b400_sr_hall_4]
on_info = {=actor_in_zone(pas_b400_sr_hall_6)} sr_idle@pas_b400_sr_hall_6 %-pas_b400_sr_hall_4 +pas_b400_sr_hall_6%

[sr_idle@pas_b400_sr_hall_5]
on_info = {=actor_in_zone(pas_b400_sr_hall_2) !actor_in_zone(pas_b400_sr_hall_5)} sr_idle@pas_b400_sr_hall_2 %-pas_b400_sr_hall_5 +pas_b400_sr_hall_2%
on_info2 = {=actor_in_zone(pas_b400_sr_hall_3) !actor_in_zone(pas_b400_sr_hall_5)} sr_idle@pas_b400_sr_hall_3 %-pas_b400_sr_hall_5 +pas_b400_sr_hall_3%
on_info3 = {=actor_in_zone(pas_b400_sr_hall_8) !actor_in_zone(pas_b400_sr_hall_5)} sr_idle@pas_b400_sr_hall_8 %-pas_b400_sr_hall_5 +pas_b400_sr_hall_8%
on_info4 = {=actor_in_zone(pas_b400_sr_hall_10)} sr_idle@pas_b400_sr_hall_10 %-pas_b400_sr_hall_5 +pas_b400_sr_hall_10%

[sr_idle@pas_b400_sr_hall_6]
on_info = {=actor_in_zone(pas_b400_sr_hall_1) !actor_in_zone(pas_b400_sr_hall_6)} sr_idle@pas_b400_sr_hall_1 %-pas_b400_sr_hall_6 +pas_b400_sr_hall_1%
on_info2 = {=actor_in_zone(pas_b400_sr_hall_3) !actor_in_zone(pas_b400_sr_hall_6)} sr_idle@pas_b400_sr_hall_3 %-pas_b400_sr_hall_6 +pas_b400_sr_hall_3%
on_info3 = {=actor_in_zone(pas_b400_sr_hall_4) !actor_in_zone(pas_b400_sr_hall_6)} sr_idle@pas_b400_sr_hall_4 %-pas_b400_sr_hall_6 +pas_b400_sr_hall_4%
on_info4 = {=actor_in_zone(pas_b400_sr_hall_7) !actor_in_zone(pas_b400_sr_hall_6)} sr_idle@pas_b400_sr_hall_7 %-pas_b400_sr_hall_6 +pas_b400_sr_hall_7%

[sr_idle@pas_b400_sr_hall_7]
on_info = {=actor_in_zone(pas_b400_sr_hall_3) !actor_in_zone(pas_b400_sr_hall_7)} sr_idle@pas_b400_sr_hall_3 %-pas_b400_sr_hall_7 +pas_b400_sr_hall_3%
on_info2 = {=actor_in_zone(pas_b400_sr_hall_6)} sr_idle@pas_b400_sr_hall_6 %-pas_b400_sr_hall_7 +pas_b400_sr_hall_6%
on_info3 = {=actor_in_zone(pas_b400_sr_hall_9) !actor_in_zone(pas_b400_sr_hall_7)} sr_idle@pas_b400_sr_hall_9 %-pas_b400_sr_hall_7 +pas_b400_sr_hall_9%
on_info4 = {=actor_in_zone(pas_b400_sr_hall_10)} sr_idle@pas_b400_sr_hall_10 %-pas_b400_sr_hall_7 +pas_b400_sr_hall_10%
on_info5 = {=actor_in_zone(pas_b400_sr_hall_11)} sr_idle@pas_b400_sr_hall_11 %-pas_b400_sr_hall_7 +pas_b400_sr_hall_11%
on_info6 = {=actor_in_zone(pas_b400_sr_hall_12)} sr_idle@pas_b400_sr_hall_12 %-pas_b400_sr_hall_7 +pas_b400_sr_hall_12%

[sr_idle@pas_b400_sr_hall_8]
on_info = {=actor_in_zone(pas_b400_sr_hall_3) !actor_in_zone(pas_b400_sr_hall_8)} sr_idle@pas_b400_sr_hall_3 %-pas_b400_sr_hall_8 +pas_b400_sr_hall_3%
on_info2 = {=actor_in_zone(pas_b400_sr_hall_5) !actor_in_zone(pas_b400_sr_hall_8)} sr_idle@pas_b400_sr_hall_5 %-pas_b400_sr_hall_8 +pas_b400_sr_hall_5%
on_info3 = {=actor_in_zone(pas_b400_sr_hall_7)} sr_idle@pas_b400_sr_hall_7 %-pas_b400_sr_hall_8 +pas_b400_sr_hall_7%
on_info4 = {=actor_in_zone(pas_b400_sr_hall_10)} sr_idle@pas_b400_sr_hall_10 %-pas_b400_sr_hall_8 +pas_b400_sr_hall_10%

[sr_idle@pas_b400_sr_hall_9]
on_info = {=actor_in_zone(pas_b400_sr_hall_7)} sr_idle@pas_b400_sr_hall_7 %-pas_b400_sr_hall_9 +pas_b400_sr_hall_7%
on_info3 = {=actor_in_zone(pas_b400_sr_hall_12)} sr_idle@pas_b400_sr_hall_12 %-pas_b400_sr_hall_9 +pas_b400_sr_hall_12%

[sr_idle@pas_b400_sr_hall_10]
on_info = {=actor_in_zone(pas_b400_sr_hall_5) !actor_in_zone(pas_b400_sr_hall_10)} sr_idle@pas_b400_sr_hall_5 %-pas_b400_sr_hall_10 +pas_b400_sr_hall_5%
on_info2 = {=actor_in_zone(pas_b400_sr_hall_7) !actor_in_zone(pas_b400_sr_hall_10)} sr_idle@pas_b400_sr_hall_7 %-pas_b400_sr_hall_10 +pas_b400_sr_hall_7%
on_info3 = {=actor_in_zone(pas_b400_sr_hall_8) !actor_in_zone(pas_b400_sr_hall_10)} sr_idle@pas_b400_sr_hall_8 %-pas_b400_sr_hall_10 +pas_b400_sr_hall_8%
on_info4 = {=actor_in_zone(pas_b400_sr_hall_11)} sr_idle@pas_b400_sr_hall_11 %-pas_b400_sr_hall_10 +pas_b400_sr_hall_11%

[sr_idle@pas_b400_sr_hall_11]
on_info = {=actor_in_zone(pas_b400_sr_hall_7) !actor_in_zone(pas_b400_sr_hall_11)} sr_idle@pas_b400_sr_hall_7 %-pas_b400_sr_hall_11 +pas_b400_sr_hall_7%
on_info2 = {=actor_in_zone(pas_b400_sr_hall_10) !actor_in_zone(pas_b400_sr_hall_11)} sr_idle@pas_b400_sr_hall_10 %-pas_b400_sr_hall_11 +pas_b400_sr_hall_10%
on_info3 = {=actor_in_zone(pas_b400_sr_hall_12) !actor_in_zone(pas_b400_sr_hall_11)} sr_idle@pas_b400_sr_hall_12 %-pas_b400_sr_hall_11 +pas_b400_sr_hall_12%
on_info4 = {+pas_b400_sr_hall_12_in -pas_b400_sr_hall_11_in} %+pas_b400_sr_hall_11_in%

[sr_idle@pas_b400_sr_hall_12]
on_info = {=actor_in_zone(pas_b400_sr_hall_7) !actor_in_zone(pas_b400_sr_hall_12)} sr_idle@pas_b400_sr_hall_7 %-pas_b400_sr_hall_12 +pas_b400_sr_hall_7%
on_info2 = {=actor_in_zone(pas_b400_sr_hall_9) !actor_in_zone(pas_b400_sr_hall_12)} sr_idle@pas_b400_sr_hall_9 %-pas_b400_sr_hall_12 +pas_b400_sr_hall_9%
on_info3 = {=actor_in_zone(pas_b400_sr_hall_11)} sr_idle@pas_b400_sr_hall_11 %-pas_b400_sr_hall_12 +pas_b400_sr_hall_11%
on_info4 = {+pas_b400_hall_done} sr_idle@nil
on_info5 = {-pas_b400_sr_hall_12_in} %+pas_b400_sr_hall_12_in%
on_info6 = {-pas_b400_sr_hall_12_in_2 +pas_b400_control_down_door_opened} %+pas_b400_sr_hall_12_in_2%

[sr_idle@nil]