基于运营场景的跨界临时限速CPN建模分析

作者：马磊

来源：铁道通信信号, 2019, 55(08): 19-22.

DOI：10.13879/j.issn1000-7458.2019-08.19122

• 临时限速服务器
• 跨界临时限速
• 有色petri网
• 场景融合

介绍了跨界临时限速(TSR)的运营场景,分析了一起跨界临时限速取消失败的故障案例,通过CPN模型对故障状态进行建模,并对模型的场景进行融合,得出了故障状态转移链,提高了故障分析的效率,验证了修正接口方案的正确性与安全性。