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




    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


    A simplified passenger flow model using Coloured Petri Nets

    Takagi, R. / Roberts, C. / Goodman, C. J. | British Library Conference Proceedings | 2002



    An urban traffic network model via coloured timed Petri nets

    Dotoli, Mariagrazia / Fanti, Maria Pia | Tema Archive | 2006