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
Modelling of hybrid flexible production systems by Coloured-Batches Petri nets
British Library Conference Proceedings | 1998
|British Library Conference Proceedings | 1996
|A simplified passenger flow model using Coloured Petri Nets
British Library Conference Proceedings | 2002
|Model-based testing of a reactive system with coloured Petri Nets
Tema Archive | 2006
|An urban traffic network model via coloured timed Petri nets
Tema Archive | 2006
|