Fig. 10From: European railway traffic management system validation using UML/Petri nets modelling strategyTransformation of a simple transitionBack to article page