Fig. 6From: European railway traffic management system validation using UML/Petri nets modelling strategyMapping between the UML State machine metamodel and the Petri net meta-modelBack to article page