| 1 绪论 | 第1-20页 |
| ·Petri网概述 | 第17页 |
| ·Petri网可达性研究现状及课题的提出 | 第17-18页 |
| ·本文所做工作及其内容安排 | 第18-20页 |
| 2 petri网基本知识 | 第20-32页 |
| ·Petri网的基本概念 | 第20-23页 |
| ·Petri网的动态性质 | 第23-27页 |
| ·Petri网的基本分析方法 | 第27-32页 |
| 3 改良可达树IRT | 第32-47页 |
| ·改良可达树IRT的描述性介绍 | 第32-37页 |
| ·改良可达树IRT的构造算法 | 第37-47页 |
| 4 Petri网的可达性判定 | 第47-69页 |
| ·Petri网可达性判定算法的描述性介绍 | 第47-67页 |
| ·Petri网的可达性判定算法 | 第67-69页 |
| 5 结束语 | 第69-70页 |
| ·本文所做的主要工作总结 | 第69页 |
| ·后续研究课题展望 | 第69-70页 |
| 附录A | 第70-74页 |
| 致谢 | 第74-75页 |
| 参考文献 | 第75-77页 |