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

• 作者: 宋军 陶玲
• 来源期刊: 电气化铁道
• 学科: 交通运输
• 关键词: 选岔网络 CPN 形式化 CPN TOOLS
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 通信、信号
• 页码范围: 43-47
• 页数: 5页
• 分类号: U283
• 字数: 2548字
• 语种: 中文

摘要

在详细分析联锁系统选岔电路的前提下,抽象出选岔网络的联锁逻辑条件,并采用有色Petri网(ColoredPetri Net,CPN)为其建立形式化验证模型,同时采用CPN TOOLS对所建立的模型进行仿真及状态空间分析,结果表明所建立的模型能够很好的描述选岔网络的工作状态.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋军	重庆交通大学信息科学与工程学院	43	256	9.0	12.0
2	陶玲	重庆交通大学交通运输学院	2	5	2.0	2.0