论文部分内容阅读
针对中国列车控制系统(CTCS)-3级列车控制系统中的车地安全通信问题,采用层次化建模思想,设计了一种基于Petri网理论的无线闭塞中心(RBC)和列车之间信息交互的模型,并应用着色Petri网(CPN) tools仿真工具动态仿真了列车和RBC之间传输信息的生成、加密和发送的整个过程。该模型主要分为三个部分:列车申请行车许可(MA)、RBC生成完全监控模式下的MA和列车通过无线网络接收到MA并按照MA进行安全控车。运用动态仿真和状态空间分析工具对所提模型进行仿真分析可得,所设计模型能够满足车地信息