| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 引言 | 第11-18页 |
| ·选题的目的和意义 | 第11-12页 |
| ·CTCS-3简介 | 第12-14页 |
| ·CTCS列控系统等级划分 | 第12页 |
| ·CTCS-3介绍 | 第12-14页 |
| ·建模技术研究现状 | 第14-16页 |
| ·UML的研究 | 第14-15页 |
| ·Petri网的研究 | 第15页 |
| ·基于UML的Petri网建模方法的研究 | 第15-16页 |
| ·论文研究内容及组织结构 | 第16-18页 |
| 2 建模技术介绍 | 第18-30页 |
| ·基于UML的建模方法 | 第18-21页 |
| ·UML概述 | 第18-20页 |
| ·UML模型的优缺点 | 第20-21页 |
| ·基于Petri网的建模方法 | 第21-28页 |
| ·Petri网基本知识 | 第21-24页 |
| ·有色Petri网 | 第24-27页 |
| ·Petri网模型的优缺点 | 第27-28页 |
| ·基于UML的Petri网建模方法的优点 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 3 基于UML的有色Petri网建模方法研究 | 第30-54页 |
| ·UML顺序图的有色Petri网建模 | 第30-43页 |
| ·UML顺序图 | 第30-35页 |
| ·UML顺序图到有色Petri网的转换 | 第35-43页 |
| ·UML状态图的有色Petri网建模 | 第43-50页 |
| ·UML状态图 | 第43页 |
| ·UML状态图到有色Petri网的转换 | 第43-50页 |
| ·化简转换后的有色Petri网模型 | 第50-53页 |
| ·本章小结 | 第53-54页 |
| 4 基于UML的有色Petri网建模方法在CTCS-3中的应用 | 第54-72页 |
| ·顺序图的转换在CTCS-3中的应用 | 第54-63页 |
| ·建立安全连接顺序图的设计及转换 | 第54-59页 |
| ·建立通信会话顺序图的设计及转换 | 第59-60页 |
| ·保持通信会话顺序图的设计及转换 | 第60页 |
| ·终止通信会话顺序图的设计及转换 | 第60-61页 |
| ·顺序图的分析与验证 | 第61-63页 |
| ·状态图的转换在CTCS-3中的应用 | 第63-71页 |
| ·车载状态图的设计及转换 | 第64-65页 |
| ·GSM-R状态图的设计及转换 | 第65-66页 |
| ·RBC状态图的设计及转换 | 第66-67页 |
| ·对象有色Petri网模型的生成及分析 | 第67-71页 |
| ·本章小结 | 第71-72页 |
| 5 结论与展望 | 第72-73页 |
| ·结论 | 第72页 |
| ·展望 | 第72-73页 |
| 参考文献 | 第73-76页 |
| 图索引 | 第76-78页 |
| 作者简历 | 第78-80页 |
| 学位论文数据集 | 第80页 |