Fig. 14From: European railway traffic management system validation using UML/Petri nets modelling strategyThe obtained Petri net of driver identification part after the UML model transformationBack to article page