| 1 绪论 | 第1-33页 |
| ·背景介绍 | 第27-28页 |
| ·国内外研究动态 | 第28-32页 |
| ·本文的组织结构 | 第32-33页 |
| 2 预备知识 | 第33-47页 |
| ·并行处理机及并行编程 | 第33-36页 |
| ·Petri网的基本知识 | 第36-47页 |
| 3 并行程序的开发过程 | 第47-53页 |
| ·CAPSE工具设计的原则 | 第48-49页 |
| ·CAPSE工具设计的方法 | 第49页 |
| ·并行程序开发流程 | 第49-51页 |
| ·使用Petri网和MPI的理由 | 第51-53页 |
| 4 并行程序的Petri网建模 | 第53-76页 |
| ·C语言的Petri网模型 | 第53-57页 |
| ·MPI函数的Petri网模型 | 第57-70页 |
| ·建模过程以及模型举例 | 第70-76页 |
| 5 基于Petri网的并行程序正确性验证 | 第76-95页 |
| ·MPInet的性质 | 第76-81页 |
| ·并行程序的验证 | 第81-95页 |
| 6 结束语 | 第95-96页 |
| 致谢 | 第96-97页 |
| 参考文献 | 第97-101页 |
| 附录 | 第101-105页 |
| 在读期间学习经历与研究成果 | 第105页 |