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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Operating rules description using Petri nets


    Additional title:

    Beschreibung von Betriebsregeln mit Hilfe von Petri-Netzen


    Contributors:
    Lahlou, O. (author) / Bon, P. (author) / Allain, L. (author)


    Publication date :

    2007


    Size :

    9 Seiten, 11 Bilder, 13 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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