Fig. 1From: European railway traffic management system validation using UML/Petri nets modelling strategyERTMS level 1 and level 2Back to article page