基于CPN的联锁进路控制建模及验证  

CPN Based Modeling and Verification of Interlocking Route Control

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

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

出　　处：《工业控制计算机》2014年第11期12-13,16,共3页Industrial Control Computer

摘　　要：颜色集、层次化的概念使得有色Petri网(Colored Petri Nets,CPN)能够方便地对大型复杂系统进行形式化模型验证分析,铁路车站信号计算机联锁逻辑关系形式化验证方法的研究,对于减少联锁软件开发过程中的不确定性,提高联锁系统的安全性、可靠性,保障行车安全具有重要意义,联锁系统进路控制是联锁逻辑关系的重要内容,在分析联锁进路控制的基础上,采用CPN对联锁进路控制建立形式化分析模型,为车站信号计算机联锁逻辑关系形式化验证方法的研究提供一种联锁进路控制的形式化验证方法,同时通过CPN Tools对所建立的模型进行仿真分析及状态空间分析,结果表明模型能够正确描述联锁进路控制流程及联锁进路控制的功能逻辑,且状态空间分析结果与联锁进路控制逻辑完全相符。This paper based on the analysis of interlocking route control to establish formal analysis model of route control logic relationship and provide an approach of formal verification for route control of railway station interlocking logic relationship.The simulation analysis and state space analysis for the model by CPN Tools indicates that the model can describe the interlocking route control logic relationship correctly.The state space anlysis can meet interlocking route control logic perfectly.

关 键 词：CPN CPN TOOLS 联锁 进路控制 

分 类 号：U284.3[交通运输工程—交通信息工程及控制] TP273[交通运输工程—道路与铁道工程]