This chapter deals with operating mode management of European railway systems, and this contribution is based on Supervisory Control Theory (SCT). The studied system contains several trains, and each one presents several operating modes varying by countries and satisfying the European Rail Traffic Management System (ERTMS). Our contribution enables to represent the railway system behavior through the use of colored Petri nets (CP-nets) on the basis of a multi-model design where each model (CP-net) represents an operating mode of the system. In order to handle a model with a reasonable size, the proposed approach designs a global CP-net model representing all operating modes of trains taking into consideration the aspects of mode activation/deactivation and handling of resource states common to multiple operating modes.
In addition to the simulation capability, formal verification of the global CP-net properties is also enabled based on the proposed CP-net model. Such feasibility represents one of the major differences distinguishing the proposed method of all the existing simulators dedicated to operating mode management.
Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets
Operating Rules and Interoperability in Trans-National High-Speed Rail ; Chapter : 8 ; 213-230
2021-03-12
18 pages
Article/Chapter (Book)
Electronic Resource
English
A study of railway ERTMS safety with Colored Petri Nets
British Library Conference Proceedings | 2010
|European railway traffic management system validation using UML/Petri nets modelling strategy
Springer Verlag | 2010
|