|
|||||
|
|
| 基于CPN的联锁系统选岔网络建模及验证 | |
| 引用本文： | 陶玲,宋军.基于CPN的联锁系统选岔网络建模及验证[J].电气化铁道,2015(2):43-47. |
| 作者姓名： | 陶玲 宋军 |
| 作者单位： | 1. 重庆交通大学交通运输学院 2. 重庆交通大学信息科学与工程学院 |
| 摘 要： | 在详细分析联锁系统选岔电路的前提下,抽象出选岔网络的联锁逻辑条件,并采用有色Petri网(Colored Petri Net,CPN)为其建立形式化验证模型,同时采用CPN TOOLS对所建立的模型进行仿真及状态空间分析,结果表明所建立的模型能够很好的描述选岔网络的工作状态。 |
| 关 键 词： | 选岔网络 CPN 形式化 CPN TOOLS |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |