Colored Petri Net Model for Discrete System Communication Management on the European Rail Traffic Management System (ERTMS) Level 2

The European Rail Traffic Management System ERTMS aims to permit safe and interoperable operation of the European railway traffic (Council directive, 1996). Traffic safety depends closely on the position and the movement of trains, precisely related to the reliability of data transmission. This paper focuses on the train communication system management of the ERTMS Level 2. This communication is ensured by a radio system labelled: Global System for Mobile Communications-Railway (GSM-R). The presented work gives an overview of the ERTMS and describes a Coloured Petri Net model of the data communication system management. This model is validated by simulations and will be extended to more complex configuration integrating information losses.