Development and analysis of a train-centric distance measurement system by means of colored petri netsHaifeng SongÉpuiséPrévenez-moi