铁路信号联锁逻辑形式化建模研究  

Research on formal models of railway signal interlocking logics

作　　者：陈邦兴[1] 吴芳美[1] 

机构地区：[1]同济大学电子与信息工程学院,上海200331

出　　处：《铁道学报》2002年第6期50-54,共5页Journal of the China Railway Society

基　　金：铁道部科技研究开发计划项目 (2 0 0 2 X0 0 7)

摘　　要：铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发 ,还是对联锁软件的测试都是非常重要的。铁路大站的联锁逻辑十分复杂 ,对其进行形式化描述是一项艰难的工作。目前 ,国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念 ,采用层次化有色 Petri网 ,以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的 ,以车站联锁设备的层次化有色 Petri网模型为背景 。Formalization of railway station signal interlocking logics is both important to the development of computer interlocking software and to the third part testing of the computer interlocking software. The interlocking logics of a large station may be very complex, and the formalization of it is a very hard work. There are no papers and reports about this filed in China and on abroad at present. This paper introduces a basic way to the formalization of railway station signal interlocking logics by using hierarchical coloured Petri nets, which aim at establishing a environment simulation for the third part testing of computer interlocking software.

关 键 词：铁路信号联锁逻辑 形式化建模 有色PETRI网 层次化有色Petri网 联锁设备 

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