| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-17页 |
| ·研究背景及意义 | 第8-9页 |
| ·Petri 网的发展史 | 第9-11页 |
| ·Petri 网的研究现状 | 第11-13页 |
| ·Petri 网的动态性质及分析技术 | 第13-17页 |
| 2 基本概念和术语 | 第17-25页 |
| ·基本概念 | 第17-20页 |
| ·网系统的分类 | 第20-22页 |
| ·网系统的性质 | 第22-25页 |
| 3 列车控制系统的工作原理及工作过程 | 第25-36页 |
| ·列车控制系统的组成及主要功能 | 第25-30页 |
| ·列车控制系统的结构 | 第25-26页 |
| ·列车控制系统的速度控制模式 | 第26-30页 |
| ·发达国家列车控制系统研究 | 第30-36页 |
| ·日本新干线的 ATC 系统 | 第31-34页 |
| ·德国的列车控制系统 | 第34-36页 |
| 4 基于 Petri 网的列车控制系统的建模与分析 | 第36-47页 |
| ·车站调度子系统 | 第36-42页 |
| ·车站调度子系统的 Petri 网模型 | 第36-40页 |
| ·车站调度子系统模型性能分析 | 第40-42页 |
| ·区间运行子系统 | 第42-47页 |
| ·区间运行子系统的 Petri 网模型 | 第42-45页 |
| ·区间运行子系统模型性能分析 | 第45-47页 |
| 结论 | 第47-48页 |
| 参考文献 | 第48-51页 |
| 攻读硕士学位期间发表的论文及科研成果 | 第51-52页 |
| 致谢 | 第52-53页 |