摘要： 在这一阶段的的过程中，我们主要针对并行事件、列车行驶连续性、故障诊断部分进行了更具体的设计。并发时事件主要是针对多事件发生的情况下，我们的模型如何动态处理的情况。 通过小组的共同讨论和分工，我主要负责的就是故障诊断和处理的一些细节设计。 期初我们根据故障树分析，对整个轨道信号灯控制系统工作过程中可能 阅读全文