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.
Scenario-based Modelling and Model Checking of Train Control Systems with Coloured Petri Nets
2014
13 Seiten, Bilder, 18 Quellen
Conference paper
English
A Train Rescheduling System Using Timed Coloured Petri Nets
Springer Verlag | 2020
|Train Traffic Simulation with Coloured Petri Nets and Schedule Optimisation
BASE | 2005
|Modelling of hybrid flexible production systems by Coloured-Batches Petri nets
British Library Conference Proceedings | 1998
|British Library Conference Proceedings | 1996
|COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY
British Library Conference Proceedings | 2005
|