| 声明 | 第1页 |
| AFFIRMATION | 第3-4页 |
| 摘要 | 第4-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-11页 |
| ·Petri网概述 | 第8页 |
| ·Petri网活性研究现状以及课题的提出 | 第8-10页 |
| ·本文所要做的工作及内容安排 | 第10-11页 |
| 2 Petri网的基本知识 | 第11-21页 |
| ·网与网系统 | 第11-14页 |
| ·Petri网的性质 | 第14-17页 |
| ·Petri网的基本分析方法 | 第17-21页 |
| 3 几类Petri网的活性判定方法总结 | 第21-28页 |
| ·几种Petri网子类的活性判定方法简介 | 第21-22页 |
| ·有界Petri网的活性分析总结 | 第22-28页 |
| 4 一类无关联ω-数网系统的活性分析 | 第28-44页 |
| ·修正的可覆盖图 | 第28-34页 |
| ·性质分析 | 第34-44页 |
| 5 一般Petri网的弱活性分析 | 第44-59页 |
| ·改良可达树 | 第44-55页 |
| ·活性分析 | 第55-59页 |
| 6 结束语 | 第59-60页 |
| ·本文所做的主要工作总结 | 第59页 |
| ·后续研究课题展望 | 第59-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-64页 |
| 中文详细摘要 | 第64-72页 |