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