Wu, D.; Zheng, W.; Schnieder, E.:
Scenario-based Modelling and Model Checking of Train Control Systems with Coloured Petri Nets.
FORMS/FORMAT 2014 – 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Deutschland, September 2014.


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.