Realistic Modelling of Train Control System with Coloured Petri Nets

Modelling is an essential process during the development of a system, especially a safety-critical system. The quality of the model has a significant impact on the system. A high qualitive model should provide a good understanding, a favorable architecture, a reasonable scale and abstraction and realistic behaviour according to the concurrent operation of independent subsystems. For this purpose, based on the notion of scenario, the hierarchical decomposition is raised to model the advanced train control system SatZB. In this paper, Coloured Petri Nets (CPNs) is used as the means of description for the system model because of the capability of CPNs to model concurrent systems in hierarchical way. The realisation of converting between different scenarios of the subsystem, and synchronization between Localisation subsystem and On-board subsystem of SatZBfor continuous simulation using reference variables are elaborated in this paper.