Fig. 12From: European railway traffic management system validation using UML/Petri nets modelling strategyA UML State Machine of SOM Data Identification [33]Back to article page