This paper proposes a scenario-based modelling approach using CPNs (Coloured Petri Nets) and conducts the ASK-CTL model checking for the established CPN model with the CPN Tools in order to achieve a consistent and correct model for further software implementation. In this paper, we focus on the application of the proposed approach in railway domain, i.e. train control systems. In particular, the on-board subsystem of a satellite-based train control system (called SatZB) is modelled.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Scenario-based Modelling and Model Checking of Train Control Systems with Coloured Petri Nets


    Contributors:


    Publication date :

    2014


    Size :

    13 Seiten, Bilder, 18 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    A Train Rescheduling System Using Timed Coloured Petri Nets

    Vanit-Anunchai, Somsak | Springer Verlag | 2020


    Train Traffic Simulation with Coloured Petri Nets and Schedule Optimisation

    Bartkevičius, S. / Bagdonas, V. / Juraška, M. et al. | BASE | 2005

    Free access

    Modelling of hybrid flexible production systems by Coloured-Batches Petri nets

    Caradec, M. / Prunet, F. | British Library Conference Proceedings | 1998


    A train traffic model based on coloured Petri Nets and its application to a train schedule planning system

    Sakaguchi, T. / Tomii, N. / Wessex Institute of Technology | British Library Conference Proceedings | 1996


    COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY

    Ingram, S. / Hossain, M. A. / Cox, S. et al. | British Library Conference Proceedings | 2005