Development and analysis of a train-centric distance measurement system by means of colored petri netsHaifeng SongVypredanáPostrážiť
