列车通过车站过程建模及应用

摘要：

在计算机联锁系统中,联锁表表示车站信号各个设备之间的联锁关系,编制正确的联锁表至关重要.提出一种利用有色Petri网(CPN)对列车通过车站的过程进行建模,并利用模型自动生成联锁表的方法.利用CPN建立列车通过无道岔区段模型和列车通过有道岔区段模型.在这两个模型的基础上,建立列车通过车站模型.基于CPN tools的状态空间分析工具和模型中包含的联锁关系,研究CPN模型自动生成联锁表的方法.该方法可以提高对列车通过车站过程建模和生成联锁表的效率和准确性.

关键词：有色Petri网、计算机联锁、列车、车站、轨道区段

所属期刊栏目：34

分类号：TN911-34;TP393

在线出版日期：2011-07-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：95-97