基于CPN的联锁系统选岔网络建模及验证  

CPN Based Interlocking System Switch Selection Network Modeling and Verification

作　　者：陶玲[1] 宋军[2] 

机构地区：[1]重庆交通大学交通运输学院 [2]重庆交通大学信息科学与工程学院

出　　处：《电气化铁道》2015年第2期43-47,共5页Electric Railway

摘　　要：在详细分析联锁系统选岔电路的前提下,抽象出选岔网络的联锁逻辑条件,并采用有色Petri网(Colored Petri Net,CPN)为其建立形式化验证模型,同时采用CPN TOOLS对所建立的模型进行仿真及状态空间分析,结果表明所建立的模型能够很好的描述选岔网络的工作状态。With detailed analysis of interlocking system switch selection circuit as a precondition, interlocking logic condition of switch selection network is abstracted, for which formalized verification model is established by adopting（colored Petri net CPN）, simulation and status spatial analysis are made for the model established with CPN TOOLS, the results show that the working status of switch selection network is able to be well described by the established model.

关 键 词：选岔网络 CPN 形式化 CPN TOOLS 

分 类 号：U283[交通运输工程—交通信息工程及控制]