基于有色Petri网的RBC行车许可生成建模与仿真

摘要：

CTCS-3级列控系统行车许可是保证高速列车安全运行的关键信息,及时准确地为辖区内列车计算和发送行车许可是RBC(无线闭塞中心)子系统的主要功能之一.在分析CTCS-3级列控系统不同运营场景下行车许可生成机制的基础上,采用层次化描述思想,建立基于CPN(有色Petri网)的RBC行车许可生成模型,并运用动态仿真和状态空间分析工具对模型进行了仿真分析.结果表明,所建模型能够满足不同运营场景下计算行车许可的要求,无死锁,并具有活性、回归性和公平性,为分析列控系统性能提供了很好的试验平台.

关键词：高速铁路、CTCS-3级列控系统、行车许可、形式化建模、仿真分析

所属期刊栏目：18

分类号：U284.48(铁路通信、信号)

资助基金：铁道部科技研究开发计划课题2011X008-D

在线出版日期：2015-10-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：12-17,30