75 lines
6.4 KiB
TeX
75 lines
6.4 KiB
TeX
[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]
|