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