Fig. 11From: European railway traffic management system validation using UML/Petri nets modelling strategyTransformation rules of condition guard and choiceBack to article page