SVG Visualisation
Train 1
Trace (length=1)
Nr
Event
Target State ID
1
State 1
Info
Generated on 18/2/2021 at 11:59 using ProB version 1.11.0-nightly
Main specification file: /Users/leuschel/git_root/JAVAPROB/visb-visualisation-examples/Train/SimpleTrainTrack.mch