Fig. 13From: European railway traffic management system validation using UML/Petri nets modelling strategyA UML state machine of driver identificationBack to article page