| 1 绪论 | 第1-21页 |
| ·课题的提出 | 第19-20页 |
| ·论文的整体安排 | 第20-21页 |
| 2 Petri网基础知识 | 第21-35页 |
| ·Petri网及其应用简介 | 第21-23页 |
| ·Petri网的基本概念 | 第23-26页 |
| ·Petri网的基本性质 | 第26-31页 |
| ·Petri网的基本分析方法 | 第31-35页 |
| 3 基于状态的对象Petri网 | 第35-48页 |
| ·面向对象的Petri网介绍 | 第35页 |
| ·基于状态的对象Petri网 | 第35-43页 |
| ·基于状态的对象Petri网的分析方法 | 第43-46页 |
| ·基于状态的对象Petri网面向对象特征讨论 | 第46-48页 |
| 4 基于SBOPN的UML模型的正确性验证 | 第48-76页 |
| ·UML简介 | 第48-50页 |
| ·UML向SBOPN映射的机制 | 第50-52页 |
| ·状态图简介 | 第52-55页 |
| ·UML向SBOPN映射的实现 | 第55-64页 |
| ·基于SBOPN的UML模型的正确性验证 | 第64-76页 |
| 5 结束语 | 第76-78页 |
| ·本文的主要工作 | 第76页 |
| ·进一步的工作 | 第76-78页 |
| 致谢 | 第78-79页 |
| 攻读硕士期间主要研究成果 | 第79-80页 |
| 参考文献 | 第80-84页 |