| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-20页 |
| ·本文的研究背景和意义 | 第10-12页 |
| ·国内外研究现状 | 第12-15页 |
| ·列车运行调度引入 Petri 网理论 | 第15-17页 |
| ·论文研究的主要内容 | 第17-20页 |
| 第二章 Petri 网基本理论 | 第20-37页 |
| ·Petri 网简介 | 第20-22页 |
| ·Petri 网基本概念 | 第22-28页 |
| ·网的形式化定义 | 第22-24页 |
| ·网的图形表示 | 第24-26页 |
| ·变迁的发射规则 | 第26-28页 |
| ·Petri 网特性 | 第28-31页 |
| ·扩展 Petri 网 | 第31-34页 |
| ·Petri 网的应用 | 第34-35页 |
| ·本章小结 | 第35-37页 |
| 第三章 基于 HPN 的列车运行调度模型及分析 | 第37-55页 |
| ·列车运行调度分析 | 第37-40页 |
| ·HPN 的形式化定义 | 第40-42页 |
| ·模型假设 | 第42-43页 |
| ·列车运行调度模型 | 第43-49页 |
| ·模型理论分析 | 第49-53页 |
| ·本章小结 | 第53-55页 |
| 第四章 基于 HPN 的列车运行调度模型仿真及分析 | 第55-66页 |
| ·CPN Tools 软件简介 | 第55-58页 |
| ·模型仿真 | 第58-60页 |
| ·模型性质验证 | 第60-64页 |
| ·模型有界性分析 | 第61-63页 |
| ·模型活性分析 | 第63-64页 |
| ·本章小结 | 第64-66页 |
| 第五章 结论与展望 | 第66-69页 |
| 参考文献 | 第69-75页 |
| 致谢 | 第75-77页 |
| 攻读学位期间发表的学术论文目录 | 第77-78页 |