Fig. 5From: European railway traffic management system validation using UML/Petri nets modelling strategyA simple Petri net metamodelBack to article page