交通运输系统工程与信息 ›› 2005, Vol. 5 ›› Issue (3): 65-70 .

• 信息科学与通信工程 • 上一篇    下一篇

用有色Petri网建立基于通信的
列车 控制系统的层次模型

吴东勇,张勇   

  1. 北京交通大学电子信息工程学院,北京100044
  • 收稿日期:2004-07-30 修回日期:1900-01-01 出版日期:2005-06-20 发布日期:2005-06-20

A Hierarchic Model of Communication-based Train Control
System Using Colored Petri Nets

WU Dong -yong, ZHANG Yong   

  1. Electronics and Information Engineering School of Beijing Jiaotong University, Beijing 100044, China
  • Received:2004-07-30 Revised:1900-01-01 Online:2005-06-20 Published:2005-06-20

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

关键词: 列车控制, 有色Petri网, 建模, 仿真, CBTC

Abstract: Communication-based Train Control System (CBTC)is an important development direction of Chinese railway. In this paper, 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. Colored Petri Nets is an useful modeling method for describing the structure and function of a system with graphs,which is special suited for modeling and simulating a big, asynchronous and concurrent system. In order to make the model simple and clear,a three-level hierarchic 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.

Key words: train control, Colored Petri Nets, modeling, simulation, CBTC