| 中文摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 第一章 绪论 | 第10-15页 |
| ·研究背景及意义 | 第10-11页 |
| ·国内外研究现状 | 第11-12页 |
| ·本文研究内容 | 第12-13页 |
| ·本文组织结构 | 第13-15页 |
| 第二章 CPS 概述 | 第15-24页 |
| ·CPS 定义与相关技术 | 第15-17页 |
| ·CPS 体系结构 | 第17-20页 |
| ·CPS 特点与挑战 | 第20-22页 |
| ·CPS 应用 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第三章 时间 Petri 网概述 | 第24-38页 |
| ·经典 Petri 网 | 第24-35页 |
| ·Petri 网基本概念 | 第24-31页 |
| ·Petri 网运算 | 第31-33页 |
| ·Petri 网分析方法 | 第33-35页 |
| ·时间 Petri 网 | 第35-37页 |
| ·时间 Petri 网定义 | 第35页 |
| ·时间 Petri 网可达标识图 | 第35-37页 |
| ·本章小结 | 第37-38页 |
| 第四章 基于时空 Petri 网的 CPS 建模 | 第38-48页 |
| ·CPS 物理实体建模 | 第38-41页 |
| ·物理实体分类 | 第38-40页 |
| ·物理实体特征 | 第40页 |
| ·物理实体形式化定义 | 第40-41页 |
| ·构造时空 Petri 网 | 第41-43页 |
| ·时空 Petri 网面临挑战 | 第42页 |
| ·时空 Petri 网定义 | 第42-43页 |
| ·实例分析 | 第43-47页 |
| ·应用场景 | 第43-44页 |
| ·实例建模 | 第44-47页 |
| ·本章小结 | 第47-48页 |
| 第五章 基于时空 Petri 网的 CPS 验证 | 第48-54页 |
| ·模型检测工具 UPPAAL | 第48-49页 |
| ·STPN 模型至 UPPAAL 规约的转换 | 第49-51页 |
| ·实例分析 | 第51-53页 |
| ·模型转换 | 第51-52页 |
| ·模型验证 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第六章 总结与展望 | 第54-56页 |
| ·本文工作总结 | 第54-55页 |
| ·未来工作展望 | 第55-56页 |
| 参考文献 | 第56-60页 |
| 攻读硕士学位期间参加的科研项目与发表(录用)的论文 | 第60-61页 |
| 致谢 | 第61-62页 |