An application of new more sophisticated railway control and signalling systems (not only to reach the interoperability) requires an interconnection with existing (previous) systems. This paper presents a model of interlocking - RBC interface functional behaviour created by means of colored Petri nets software tool - Design/CPN. The paper contains shortly the domain problem description i. e. Czech ERTMS/ETCS pilot application, next describes used modelling methodology, the model structure and working. The described modelling can be used for obtaining of design knowledge before a real implementation of a system. Also model verification methods are mentioned.
Functional behaviour modeling of the interlocking - RBC interface signalling system by means of colored Petri nets
Modellierung des funktionellen Verhaltens des Stellwerk-Funkstreckenzentrale-Signalsystems mit Hilfe von farbigen Petri-Netzen
2007
13 Seiten, 15 Bilder, 7 Quellen
Aufsatz (Konferenz)
Englisch
Modeling a distributed railway interlocking system with object-oriented Petri nets
British Library Conference Proceedings | 2006
|Integrated Modeling of Electronics Assembly Systems by Colored Petri Nets
Online Contents | 1997
|