Haifeng Song
Development and analysis of a Train-centric Distance Measurement System by means of Colored Petri Nets