ERTMS (European Rail Traffic Management System) is a new European standard for train control systems which must be implemented to upgrade high-speed and conventional railway lines. ERTMS will require changes to safety cases, signalling principles and operating rules. In this paper, the authors will take an interest in the formal description of operating rules. The first point is a systematic method of description of operating rule into coloured Petri nets. This systematic method is based on characteristics of the operating rules. The second point consists on verification of the resulting coloured Petri nets. It will allow us to analyse and verify questions concerning the behaviour of the coloured Petri nets.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Operating rules description using Petri nets


    Weitere Titelangaben:

    Beschreibung von Betriebsregeln mit Hilfe von Petri-Netzen


    Beteiligte:
    Lahlou, O. (Autor:in) / Bon, P. (Autor:in) / Allain, L. (Autor:in)


    Erscheinungsdatum :

    2007


    Format / Umfang :

    9 Seiten, 11 Bilder, 13 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formalisation and simulation of operating rules using coloured Petri nets

    Lahlou, O. / Bon, P. / Allain, L. | British Library Conference Proceedings | 2006


    Stimulation in a Dynamic Prototyping Environment: Petri Nets or Rules?

    United States / National Aeronautics and Space Administration | British Library Conference Proceedings | 1995


    Software Architecture Description Language Based on Object-Oriented Petri Nets

    Zhenhua, Y. / Yuanli, C. | British Library Online Contents | 2004


    Co-operating Petri nets for decision' making entities co-operation

    Allab, S. / Ladet, P. | British Library Online Contents | 1998


    Airport Traffic Simulation Using Petri Nets

    Skorupski, J. | British Library Conference Proceedings | 2013