| Nr | Name | Value |
|---|---|---|
| 1 | occ | ? |
| 2 | train_front_end | ? |
| 3 | train_ma | ? |
| 4 | train_rear_end | ? |
| Nr | Name | Value |
|---|---|---|
| 1 | TrackElementNumber | 25 |
| 2 | TRACK | #26:{0,1,...,24,25} |
| 3 | TTD_TrackElements | {(ttd1|->{0,1,2,3,4}),(ttd2|->#6:{5,6,...,9,10}),(ttd3|->#10:{11,12,...,19,20}),(ttd4|->{21,22,23,24,25})} |
| Nr | Name | Value |
|---|---|---|
| 1 | TTDS | {ttd1,ttd2,ttd3,ttd4} |
| 2 | TRAINS | {tr1,tr2} |
| 3 | INT | (-1 .. 4) |
| Nr | Event | Target State ID |
|---|---|---|
| 1 | SETUP_CONSTANTS(TrackElementNumber=25,TRACK=#26:{0,1,...,24,25},TTD_TrackElements={(ttd1|->{0,1,2,3,4}),(ttd2|->#6:{5,6,... | State 0 |
| 2 | INITIALISATION(occ={ttd1,ttd2},train_front_end={(tr1|->2),(tr2|->6)},train_ma={},train_rear_end={(tr1|->0),(tr2|->5)}) | |
| 3 | TrainAcceptsFirstMA(tr2,20) | |
| 4 | TrainMoveForward(tr2,7) | |
| 5 | TrainMoveForward(tr2,8) | |
| 6 | TrainAcceptsFirstMA(tr1,5) | |
| 7 | TrainMoveForward(tr1,3) |