典型文献
基于Petri网的崇凭铁路车站联锁进路建模与仿真
文献摘要：
作为一种形式化建模工具,Petri网被广泛应用于铁路等离散事件系统.本文以新建崇凭铁路某车站站内联锁进路控制为研究背景,借助Petri网仿真模拟列车在站内的运行过程.结果表明,本文的模型可对站内调度计划的安全性进行核查,通过被标记的故障库所的含义定位不可行的调度计划问题所在,并对其进行修正,从而确保列车在站内的安全运行.
文献关键词：
车站联锁进路;时延Petri网;形式化验证;站内调度计划
中图分类号：
作者姓名：
王陆睎
作者机构：
中铁二院工程集团有限责任公司,成都610031
文献出处：
引用格式：
[1]王陆睎-.基于Petri网的崇凭铁路车站联锁进路建模与仿真)[J].高速铁路技术,2022(05):25-30
A类：
车站联锁进路,站内调度计划
B类：
Petri,铁路车站,建模与仿真,形式化建模,离散事件系统,内联,进路控制,研究背景,仿真模拟,列车,核查,故障库,不可行,问题所在,时延,形式化验证
AB值：
0.288406
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
