Assume a set-up with two trains, and 4 stations: Antwerpen, Brussel, Gent, and Leuven. Two trains are modelled with identifiers E2718 and P3142. Train E2718 starts in Antwerpen and wants to go to Brugge. Train P3142 starts in Brussel and wants to go to Leuven. On the way, they encounter different types of segments. The example trace can be read below: E2718 | started at station:Antwerpen P3142 | started at station:Brussel ---===---=== Step1 ===---===--- E2718 | moved forward past the green light P3142 | moved forward past the green light ---===---=== Step2 ===---===--- E2718 | is waiting for a red light P3142 | moved forward past the green light and leaves the junction diverging ---===---=== Step3 ===---===--- E2718 | moved forward past the green light P3142 | moved forward past the green light ---===---=== Step4 ===---===--- E2718 | moved forward past the green light and leaves the junction straight E2718 | resides at station:Gent P3142 | moved forward past the green light ---===---=== Step5 ===---===--- E2718 | arrives at station:Brugge P3142 | arrives at station:Leuven