铁路信号逻辑的计算机辅助分析与设计

本文以铁路中一个典型的会让站为例,介绍了用 Petri 网来描述铁路站场内部及其相互之间信号联锁及制约等逻辑关系的一种方法,并利用可达树和可达图对所构造的 Petri 网模型进行了分析,最后讨论了结果.利用 Petri 网对铁路站场信号逻辑的描述,不仅可以作为建造新的高效利用站场的一种辅助设计方法,而且可以对现有的站场进行分析、验证.本文最后给出了一种计算机实现语言和实现方法,从而可以方便地利用计算机进行辅助设计,分析和验证.