基于通信的列车控制系统的有色Petri网模型的研究

Researching Colored Petri Nets Model of Communication Based Train Control System

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向,在分析了基于通信的列车控制系统结构的基础上,采用有色Petri网方法对该系统进行建模仿真研究。有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法,特别适合大型异步并发系统的建模与仿真。为了使模型简洁清楚,提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法,并用CPN/Tools工具软件进行实现。通过建立一个基于通信的列车控制系统的有色Petri网模型,为最终开发出该系统的软件仿真平台奠定了良好的基础。

Communication Based Train Control （CBTC） system is an important development direction of Chinese railway. On the basis of analyzing the structure of CBTC system, the modeling and simulation of the CBTC were carried out by using Colored Petri Nets analyzing method. Colored Petri Nets is a useful modeling method for describing the structure and function of a system with graphs, which is specially suitable for modeling and simulating a large, asynchronous and concurrent system. In order to make the model simple and clear, a three-level hierarchical CPN model of CBTC is established with the help of CPN/Tools, which includes integral layer, processing layer and functional layer. This work lays a good foundation for developing the software simulation platform of CBTC system.