论文部分内容阅读
本文以铁路中一个典型的会让站为例,介绍了用 Petri 网来描述铁路站场内部及其相互之间信号联锁及制约等逻辑关系的一种方法,并利用可达树和可达图对所构造的 Petri 网模型进行了分析,最后讨论了结果.利用 Petri 网对铁路站场信号逻辑的描述,不仅可以作为建造新的高效利用站场的一种辅助设计方法,而且可以对现有的站场进行分析、验证.本文最后给出了一种计算机实现语言和实现方法,从而可以方便地利用计算机进行辅助设计,分析和验证.
In this paper, taking a typical railway station as an example, this paper introduces a method of using Petri nets to describe the logic relations such as signal interlocking and restriction within and between railway stations and stations, and uses reachable trees and reachable The paper analyzes the constructed Petri net model and finally discusses the results.Using Petri nets to describe the signal logic of railway station yard not only can be used as an auxiliary design method to build a new efficient use of station yard, Some stations for analysis and verification.At the end of this paper, a computer-implemented language and its implementation method are given, which can be easily used to assist the design, analysis and verification of computers.