Fig. 15From: European railway traffic management system validation using UML/Petri nets modelling strategySequences generation exampleBack to article page