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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets




    Publication date :

    2021-03-12


    Size :

    18 pages




    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Correction to: Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets

    Kadri, Hela / Collart-Dutilleul, Simon / Bon, Philippe | Springer Verlag | 2021



    Safety Assessment of Railway Crossing Junction Via Petri Nets

    Das, Madhusmita / Mohan, Biju R. / Guddeti, Ram Mohana Reddy et al. | IEEE | 2024


    A study of railway ERTMS safety with Colored Petri Nets

    Barger, P. / Schon, W. / Bouali, M. | British Library Conference Proceedings | 2010


    European railway traffic management system validation using UML/Petri nets modelling strategy

    Jabri, Sana / Koursi, El Miloudi / Bourdeaud’huy, Thomas et al. | Springer Verlag | 2010

    Free access