摘要
针对高铁列车控制系统3级集成中的系统网络通信性能缺乏形式化标准问题,采用着色Petri网,在分析行车许可行为过程的基础上,提出并完成了面向行车许可计算及传输过程的分层着色Petri网系统建模,进一步完成赋时模型优化。通过实验对模型的有效性进行了验证,并进一步讨论了系统通信可靠性及网络延迟对行车的影响,形成等级转换时的通信质量的安全范围,可以为列控系统的设计、联调联试提供支持。
In High-speed railway Train Control System-3 integration implementation, System communication performance has been short of formal standard. Aiming that, MA-oriented hierarchical and distributed net model has been constructed based on the movement authority （MA） process analysis via colored Petri nets, and finished timed model optimized at the same time. Through simulation, system model＇s effectivity has been verified, influence of system communication delay for train movement has been discussed, and safe range of communication quality in level change has been formed, it can be helpful for High-speed railway Train Control System-3 design, and implementation.
出处
《计算机工程与设计》
CSCD
北大核心
2013年第6期2119-2124,共6页
Computer Engineering and Design
