Nr	Name	Value
1	CTR_allow_back	?
2	CTR_allow_forw	?
3	ENV_active_derailers	?
4	ENV_brake_shoes	?
5	ENV_brakes_forced_back	?
6	ENV_brakes_forced_front	?
7	ENV_derailed	?
8	ENV_next	?
9	ENV_object_back	?
10	ENV_object_front	?
11	ENV_occ	?
12	ENV_point_states	?
13	ENV_safety_critical	?
14	ENV_signal_states	?
15	ENV_stop_distances_back	?
16	ENV_stop_distances_front	?
17	ENV_stop_positions_back	?
18	ENV_stop_positions_front	?
19	VIS_detected_obj_front	?
20	VIS_detected_points_front	?
21	VIS_detected_sig_back	?
22	VIS_detected_sig_front	?
23	VIS_detected_stops_back	?
24	VIS_detected_stops_front	?
25	VIS_detected_track	?

Nr	Name	Value
1	ENV_TRK	{(B347a\|->B347b),(B347a\|->B855a),(B347b\|->B347c),(B855a\|->B855b)}
2	ENV_DERAILERS	{(B347b\|->B347c),(B855a\|->B855b)}
3	ENV_SIGNALS	{(B347a\|->B347b),(B347a\|->B855a),(B347b\|->B347c),(B347c\|->B347b),(B855a\|->B855b),(B855b\|->B855a)}
4	ENV_POINTS	{(B347a\|->(B347b\|->B855a))}
5	ENV_next_init	{(B347a\|->B347b),(B347b\|->B347c),(B855a\|->B855b)}
6	ENV_occ_init	{(lok\|->B347a),(C55\|->B855b),(Person\|->B855b)}
7	ENV_signals_init	{(B347a\|->B347b\|->Sh0),(B347a\|->B855a\|->Sh0),(B347b\|->B347c\|->Wn7),(B347c\|->B347b\|->Wn7),(B855a\|->B855b\|->Wn7),(B855b\|->B855a\|->Wn7)}
8	ENV_points_init	{(B347a\|->(B347b\|->B855a)\|->Wn1)}
9	ENV_block_length	{(B347a\|->100),(B347b\|->100),(B347c\|->100),(B855a\|->100),(B855b\|->100)}
10	ENV_object_length	{(lok\|->30),(C55\|->20),(Person\|->1)}
11	ENV_object_front_init	{(lok\|->{(B347a\|->30)}),(C55\|->{(B855b\|->99)}),(Person\|->{(B855b\|->78)})}
12	ENV_object_back_init	{(lok\|->{(B347a\|->0)}),(C55\|->{(B855b\|->79)}),(Person\|->{(B855b\|->77)})}
13	ENV_object_type	{(C55\|->wagon),(Person\|->human)}
14	ENV_stop_distances_front_init	{(B347b\|->70\|->signal_without_train_protect)}
15	ENV_stop_positions_front_init	{(B347b\|->0\|->signal_without_train_protect),(B855a\|->0\|->signal_without_train_protect),(B855b\|->77\|->human),(B855b\|->79\|->wagon)}
16	ENV_stop_distances_back_init	{}
17	ENV_stop_positions_back_init	{}
18	VIS_max_detect_dist	200

Nr	Name	Value
1	ENV_BLOCKS	{B347a,B347b,B347c,B855a,B855b}
2	ENV_OBJECTS	{lok,C55,Person}
3	ENV_SIGNAL_STATES	{Sh0,Sh1,Wn7}
4	ENV_POINT_STATES	{Wn1,Wn2,undef}
5	ENV_STOP_REASONS	{signal_with_train_protect,brake_shoe,derailer,human,signal_without_train_protect,undef_point,wagon}
6	INT	(-1 .. 3)

Nr	Event	Target State ID
1	SETUP_CONSTANTS(ENV_TRK={(B347a\|->B347b),(B347a\|->B855a),(B347b\|->B347c),(B855a\|->B855b)},ENV_DERAILERS={(B347b\|->B347c)...	State 0
2	INITIALISATION(CTR_allow_back=200,CTR_allow_forw=200,ENV_active_derailers={},ENV_brake_shoes={},ENV_brakes_forced_back=F...
3	RF_MoveLokForwards(B347a,B347b,B347a,B347a,B347a,10)
4	RF_MoveLokForwards(B347a,B347b,B347a,B347a,B347a,10)
5	RF_MoveLokForwards(B347a,B347b,B347a,B347a,B347a,10)
6	ENV_StartMovePoint(B347a,B347b,B855a)
7	RF_MoveLokForwards(B347a,B347b,B347a,B347a,B347a,10)
8	ENV_EndMovePoint(B347a,B347b,B855a)
9	VIS_DetectCorrectPointPosition_Front(B347a,B347b,B855a,Wn2)
10	ENV_SwitchSignalToSh1(B347a,B855a)
11	VIS_DetectCorrectSignal_Front(B347a,B855a)
12	RF_MoveLokForwards(B347a,B855a,B347a,B347a,B347a,10)
13	RF_MoveLokForwards(B347a,B855a,B347a,B347a,B347a,10)
14	RF_MoveLokForwards(B347a,B855a,B347a,B855a,B347a,10)
15	RF_MoveLokForwards(B855a,B855b,B347a,B855a,B347a,10)
16	RF_MoveLokForwards(B855a,B855b,B347a,B855a,B347a,10)
17	RF_MoveLokForwards(B855a,B855b,B347a,B855a,B855a,10)
18	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,10)
19	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,10)
20	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,10)
21	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,10)
22	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,10)
23	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,10)
24	ENV_ActivateDerailer(B855a,B855b)
25	VIS_DetectCorrectSignal_Front(B855a,B855b)
26	CTR_SetAllowFront(CTR_allow_forw=10)
27	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,1)
28	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,1)
29	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,1)
30	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,1)
31	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,1)
32	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,1)
33	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,1)
34	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,1)
35	RF_MoveLokForwards(B855a,B855b,B855a,B855a,B855a,1)

Generated on 19/1/2023 at 18:51 using ProB version 1.12.0-nightly
Main specification file: ../../models/rangierfahrt/rangierfahrt_ki_prob.mch (modified on 9/12/2022 at 10:17)
Main specification name: Rangierfahrt_KI_prob
Main VisB JSON file: ../../models/rangierfahrt/visb_rangierfahrt.json (modified on 9/12/2022 at 8:41)
VisB SVG file: ../../models/rangierfahrt/grafik_rangierfahrt.svg (modified on 9/12/2022 at 8:41)