基于计算机的铁路信号逻辑分析与设计（1988年）

简介：
《基于计算机的铁路信号逻辑分析与设计》一书于1988年出版，专注于利用计算机技术优化铁路信号系统的逻辑分析和设计方法。书中详细探讨了如何通过先进的计算工具提高铁路信号系统的设计效率及安全性，并为工程师提供了实用的技术指南和案例研究。 本段落以铁路中的一个典型会让站为例，介绍了一种使用Petri网来描述铁路站场内部及其相互之间信号联锁及制约逻辑关系的方法，并利用可达树和可达图对所构造的Petri网模型进行了分析。文章还讨论了这一方法的应用结果。通过运用Petri网描绘铁路站场信号逻辑，不仅可以作为设计新高效站场的有效辅助手段，还可以用于现有站场的分析与验证工作。最后，本段落提出了一种计算机实现语言和具体的方法，从而能够利用计算机方便地进行辅助设计、分析及验证工作。