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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Functional behaviour modeling of the interlocking - RBC interface signalling system by means of colored Petri nets


    Weitere Titelangaben:

    Modellierung des funktionellen Verhaltens des Stellwerk-Funkstreckenzentrale-Signalsystems mit Hilfe von farbigen Petri-Netzen


    Beteiligte:
    Ourednicek, J. (Autor:in) / Slovak, R. (Autor:in) / Schnieder, E. (Autor:in)


    Erscheinungsdatum :

    2007


    Format / Umfang :

    13 Seiten, 15 Bilder, 7 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch