| Nr | Name | Value |
|---|---|---|
| 1 | GRN | ? |
| 2 | LBT | ? |
| 3 | OCC | ? |
| 4 | TRK | ? |
| 5 | frm | ? |
| 6 | rdy | ? |
| 7 | resbl | ? |
| 8 | resrt | ? |
| 9 | rsrtbl | ? |
| Nr | Name | Value |
|---|---|---|
| 1 | rtbl | #58:{(A|->R1),(A|->R2),...,(N|->R8),(N|->R10)} |
| 2 | lst | #10:{(R1|->C),(R2|->G),...,(R9|->M),(R10|->M)} |
| 3 | nxt | #10:{(R1|->{(A|->B),(B|->C),(L|->A)}),(R2|->#6:{(A|->B),(B|->D),...,(F|->G),(L|->A)}),...,(R9|->{(F|->K),(G|->F),(H|->M),(I|->H),(K|->I)}),(R10|->{(H|->M),(I|->H),(J|->I),(N|->J)})} |
| 4 | fst | #10:{(R1|->L),(R2|->L),...,(R9|->G),(R10|->N)} |
| 5 | SIG | {(C|->S4),(G|->S5),(L|->S1),(M|->S2),(N|->S3)} |
| 6 | rht | {(B|->A),(D|->A),(F|->A),(I|->A),(J|->A)} |
| 7 | lft | {(B|->B),(D|->B),(F|->B),(I|->B),(J|->B)} |
| 8 | blpt | {B,D,F,I,J} |
| Nr | Name | Value |
|---|---|---|
| 1 | ROUTES | {R1,R2,R3,R4,R5,...} |
| 2 | BLOCKS | {A,B,C,D,E,...} |
| 3 | S | {S1,S2,S3,S4,S5} |
| Nr | Event | Target State ID |
|---|---|---|
| 1 | SETUP_CONSTANTS(rht={(B|->A),(D|->A),(F|->A),(I|->A),(J|->A)},lft={(B|->B),(D|->B),(F|->B),(I|->B),(J|->B)}) | State 0 |
| 2 | INITIALISATION(GRN={},LBT={},OCC={},TRK={},frm={},rdy={},resbl={},resrt={},rsrtbl={}) | |
| 3 | route_reservation(R9) | |
| 4 | point_positionning(R9) | |
| 5 | route_reservation(R1) | |
| 6 | route_formation(R9) | |
| 7 | FRONT_MOVE_1(G) | |
| 8 | FRONT_MOVE_2(G) | |
| 9 | BACK_MOVE_2(G) | |
| 10 | FRONT_MOVE_2(F) | |
| 11 | BACK_MOVE_2(F) | |
| 12 | point_positionning(R1) | |
| 13 | FRONT_MOVE_2(K) | |
| 14 | BACK_MOVE_2(K) | |
| 15 | FRONT_MOVE_2(I) | |
| 16 | BACK_MOVE_2(I) | |
| 17 | FRONT_MOVE_2(H) | |
| 18 | BACK_MOVE_2(H) | |
| 19 | BACK_MOVE_1(M) | |
| 20 | route_freeing(R9) | |
| 21 | route_reservation(R4) | |
| 22 | route_formation(R1) | |
| 23 | FRONT_MOVE_1(L) | |
| 24 | FRONT_MOVE_2(L) | |
| 25 | point_positionning(R4) | |
| 26 | FRONT_MOVE_2(A) | |
| 27 | FRONT_MOVE_2(B) | |
| 28 | BACK_MOVE_2(L) | |
| 29 | BACK_MOVE_2(A) | |
| 30 | route_formation(R4) | |
| 31 | FRONT_MOVE_1(M) | |
| 32 | FRONT_MOVE_2(M) | |
| 33 | BACK_MOVE_2(B) | |
| 34 | BACK_MOVE_1(C) | |
| 35 | route_freeing(R1) | |
| 36 | FRONT_MOVE_2(H) | |
| 37 | BACK_MOVE_2(M) | |
| 38 | BACK_MOVE_2(H) | |
| 39 | FRONT_MOVE_2(I) | |
| 40 | BACK_MOVE_2(I) | |
| 41 | FRONT_MOVE_2(K) | |
| 42 | BACK_MOVE_2(K) | |
| 43 | FRONT_MOVE_2(F) | |
| 44 | BACK_MOVE_2(F) | |
| 45 | BACK_MOVE_1(G) | |
| 46 | route_freeing(R4) |