Wu, D.; Schnieder, E.; Lu, D.; Manz, H.:
Realistic Modelling of Train Control System with Coloured Petri Nets.
CTS 2012 - 13-th IFAC Symposium on Control in Transportation Systems, Sofia, Bulgaria, September 2012.


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 SatZB for continuous simulation using reference variables are elaborated in this paper.