Fig. 4From: European railway traffic management system validation using UML/Petri nets modelling strategyAn example of a simple StateMachine DiagramBack to article page