使用有色 Petri 网进行铁路联锁表的建模  

作　　者：许强 

机构地区：[1]中交机电工程局有限公司,北京 100000

出　　处：《中文科技期刊数据库(文摘版)工程技术》2016年第5期00256-00260,共5页

摘　　要：联锁表是定义列车路线的功能说明,即被允许通过的通道。其与路线相关联,规定了所有相关的信号装备的状态和活动。本文正式使用有色 Petri 网(CPN)对联锁表进行建模。CPN 模型包含两部分:信号布局和联锁控制。信号布局部分用来仿真列车的通道。它使用 tokens 储存了信号布局的地理信息。联锁控制部分通过联锁表的功能说明了建模控制者的活动。模型中的弧代表了联锁表的内容。运用该建模方法能够重用相同的 CPN 网络结构去建立另一个新的或改良的联锁系统(不考虑其规格) 。实验结果在模型正确性上提供足够的信心。

关 键 词：控制表 铁路信号系统 状态空间分析 XML XSLT 

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