论文部分内容阅读
铁路车站信号联锁逻辑形式化描述,同样也是对计算机联锁软件开发的基本过程,同时也能为后续测试工作的执行创造有利条件,让铁路大站联锁形式得到简化,本文根据以往工作经验,对有色Petri网结构内容进行总结,并从信号联锁逻辑属性与特征、联锁逻辑关系的形成、设备对象的类图表示、后续工作的重点四方面,论述了铁路信号联锁逻辑形式化建模研究.