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.
Operating rules description using Petri nets
Beschreibung von Betriebsregeln mit Hilfe von Petri-Netzen
2007
9 Seiten, 11 Bilder, 13 Quellen
Conference paper
English
Formalisation and simulation of operating rules using coloured Petri nets
British Library Conference Proceedings | 2006
|Stimulation in a Dynamic Prototyping Environment: Petri Nets or Rules?
British Library Conference Proceedings | 1995
|Software Architecture Description Language Based on Object-Oriented Petri Nets
British Library Online Contents | 2004
|Co-operating Petri nets for decision' making entities co-operation
British Library Online Contents | 1998
|Airport Traffic Simulation Using Petri Nets
British Library Conference Proceedings | 2013
|