Fig. 7From: European railway traffic management system validation using UML/Petri nets modelling strategyTransformation rule of initial PseudostateBack to article page