期刊文献+

基于通信的列车控制系统的有色Petri网模型的研究 被引量:7

Researching Colored Petri Nets Model of Communication Based Train Control System
下载PDF
导出
摘要 基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向,在分析了基于通信的列车控制系统结构的基础上,采用有色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.
作者 吴东勇 张勇
出处 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第10期2388-2391,共4页 Journal of System Simulation
关键词 列车控制 有色PETRI网 建模 仿真 CBTC train control Colored Petri Nets modeling simulation CBTC
  • 相关文献

参考文献7

  • 1郑大中 赵千川.离散事件动态系统[M].北京:清华大学出版社,2001..
  • 2Michael Meyer zu Horste,Eckehard Schnieder.Modeling and Simulation of Train Control Systems using Petri Nets,Springer-Verlag Heidelberg[J].Volume 1709/1999.
  • 3L Jansen, M Meyer zu Horste, E Schnieder. Technical Issues in Modeling The European Train Control System Using Colored Petri Nets and the DESIGN/CPN Tools [C]. Proceedings of the Workshop on Practical Use of Coloured Petri Nets and Design/CPN, Aarhus 1998.
  • 4叶阳东,贾利民.基于对象Petri网的列车运行模型及仿真[J].系统仿真学报,2002,14(2):132-135. 被引量:22
  • 5张宁,张全寿.利用随机Petri网对编组站作业系统建模及分析的研究[J].铁道学报,2001,23(1):13-18. 被引量:3
  • 6.CTCS技术规范总则[Z].[S].铁道部科学技术司,2004..
  • 7ERTMS/ETCS System Requirements Specification - SRS [Z]. 1999.

二级参考文献15

  • 1郑应平.离散事件系统理论研究和应用进展(Ⅰ)[J].控制与决策,1996,11(2):329-333. 被引量:15
  • 2陆维明,林闯.Petri网研究:机遇与挑战[J].计算机科学,1994,21(4):1-5. 被引量:10
  • 3孔庆铃 刘其斌.铁路运输能力计算与加强[M].北京:中国铁道出版社,1999..
  • 4张宁.基于CIMS方法的编组综合自动化系统的研究[M].北京:北方交通大学,2000..
  • 5贾利民 张锡第 等.高速铁路综合调度中心系统智能化软件的研究.铁道部科学研究院研究报告[M].-,1997..
  • 6贾利民.高速铁路运营仿真系统.铁道部科学研究院研究报告[M].-,1998..
  • 7贾利民.广深线行车组织模拟仿真系统.铁道部科学研究院研究报告[M].-,2000..
  • 8李平.面向对象遗传传算法及其在铁路行车指挥中的应用.铁道部科学研究院博士学位论文[M].-,2001..
  • 9高春华.基于面向对象智能Petri网的智能单元控制系统研究[M].西安:西安交通大学,1997,9..
  • 10张宁,学位论文,2000年

共引文献25

同被引文献55

引证文献7

二级引证文献68

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部