| 1 绪论 | 第1-26页 |
| ·UML的发展及现状 | 第20-21页 |
| ·UML的形式化方法 | 第21-23页 |
| ·课题的研究内容以及方法 | 第23-24页 |
| ·论文的组织 | 第24-26页 |
| 2 基本知识介绍 | 第26-38页 |
| ·UML的主要内容 | 第26-29页 |
| ·Petri网基本知识 | 第29-31页 |
| ·有色Petri网介绍 | 第31-37页 |
| ·小结 | 第37-38页 |
| 3 UML扩展顺序图 | 第38-51页 |
| ·UML的传统顺序图 | 第38-40页 |
| ·扩展顺序图 | 第40-45页 |
| ·实例应用 | 第45-50页 |
| ·小结 | 第50-51页 |
| 4 UML扩展顺序图的Petri网建模 | 第51-67页 |
| ·UML扩展顺序图到Petri网的转换 | 第52-60页 |
| ·化简转换后的Petri网模型 | 第60-61页 |
| ·实例应用 | 第61-66页 |
| ·小结 | 第66-67页 |
| 5 UML类图的有色Petri网建模 | 第67-83页 |
| ·类图及类之间的关系 | 第68-70页 |
| ·类图的CPN建模方法 | 第70-75页 |
| ·实例应用 | 第75-82页 |
| ·小结 | 第82-83页 |
| 总结与展望 | 第83-85页 |
| 致谢 | 第85-86页 |
| 参考文献 | 第86-89页 |