Fig. 3From: European railway traffic management system validation using UML/Petri nets modelling strategyMethodologyBack to article page