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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:


    Erscheinungsdatum :

    12.03.2021


    Format / Umfang :

    18 pages




    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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

    Freier Zugriff