标题：基于CPN的联锁进路控制建模及验证
作者：陶玲；宋军
作者单位：重庆交通大学交通运输学院，重庆 400074；重庆交通大学信息科学与工程学院，重庆 400074
关键字：CPN，CPN Tools，联锁，进路控制
摘要：颜色集、层次化的概念使得有色Petri网（Colored Petri Nets，CPN）能够方便地对大型复杂系统进行形式化模型验证分析，铁路车站信号计算机联锁逻辑关系形式化验证方法的研究，对于减少联锁软件开发过程中的不确定性，提高联锁系统的安全性、可靠性，保障行车安全具有重要意义，联锁系统进路控制是联锁逻辑关系的重要内容，在分析联锁进路控制的基础上，采用CPN对联锁进路控制建立形式化分析模型，为车站信号计算机联锁逻辑关系形式化验证方法的研究提供一种联锁进路控制的形式化验证方法，同时通过CPN Tools对所建立的模型进行仿真分析及状态空间分析，结果表明模型能够正确描述联锁进路控制流程及联锁进路控制的功能逻辑，且状态空间分析结果与联锁进路控制逻辑完全相符。