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

CPN Modeling Analysis of Temporary Speed Restriction Based on Operation Scenarios

作　　者：马磊 Ma Lei

机构地区：[1]中国铁建电气化局集团第一工程有限公司

出　　处：《铁道通信信号》2019年第8期19-22,共4页Railway Signalling & Communication

摘　　要：介绍了跨界临时限速(TSR)的运营场景,分析了一起跨界临时限速取消失败的故障案例,通过CPN模型对故障状态进行建模,并对模型的场景进行融合,得出了故障状态转移链,提高了故障分析的效率,验证了修正接口方案的正确性与安全性。The operation scenarios of cross boundary temporary speed restriction(TSR)are introduced and one case of the failure of canceling cross boundary TSR is analyzed.Furthermore,a CPN model is established to depict the fault state and the scenarios of the model are fused to obtain a failure state transition chain,which can improve the efficiency of fault analysis and verify the correctness and safety of updating the interface scheme as well.

关 键 词：临时限速服务器 跨界临时限速 有色PETRI网 场景融合 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]