Development and analysis of a train-centric distance measurement system by means of colored petri netsHaifeng SongUitverkocht4,3Volgen