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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Wu, Daohua (Autor:in) / Zheng, Wei (Autor:in) / Schnieder, Eckehard (Autor:in)


    Erscheinungsdatum :

    2014


    Format / Umfang :

    13 Seiten, Bilder, 18 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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

    Freier Zugriff

    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