« Back Forward » Run Trace (10 ms delay) Run Trace (500 ms delay)

Nr	Event	Target State ID
1	SETUP_CONSTANTS(TrackElementNumber=30,TRACK={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2...	State 0
2	INITIALISATION(occ={},train_rear_end=0)	State 1
3	TTD_Occupied(ttd1)	State 2
4	TrainMoveForward	State 8
5	TrainMoveForward	State 11
6	TrainMoveForward	State 15
7	TrainMoveForward	State 19
8	TrainMoveForward	State 23
9	TrainMoveForward	State 27
10	TrainMoveForward	State 31
11	TrainMoveForward	State 35
12	TrainMoveForward	State 39
13	TrainMoveForward	State 43
14	TTD_Occupied(ttd2)	State 44
15	TrainMoveForward	State 50
16	TTD_Free(ttd1)	State 52
17	TrainMoveForward	State 56
18	TrainMoveForward	State 59
19	TrainMoveForward	State 63
20	TrainMoveForward	State 67
21	TrainMoveForward	State 71
22	TrainMoveForward	State 75
23	TrainMoveForward	State 79
24	TrainMoveForward	State 83
25	TrainMoveForward	State 87
26	TrainMoveForward	State 91
27	TrainMoveForward	State 95
28	TrainMoveForward	State 99
29	TrainMoveForward	State 103
30	TrainMoveForward	State 107
31	TTD_Occupied(ttd3)	State 109
32	TrainMoveForward	State 114
33	TTD_Free(ttd2)	State 116
34	TrainMoveForward	State 120
35	TrainMoveForward	State 123
36	TrainMoveForward	State 127

Generated on 17/2/2021 at 10:02 using ProB version 1.11.0-nightly
Main specification file: /Users/leuschel/git_root/JAVAPROB/visb-visualisation-examples/Train/SimpleTrainTrack.mch