Train 1
Nr Event Target State ID
1
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