| 第1章 绪论 | 第1-11页 |
| 1．1 研究背景与意义 | 第7-9页 |
| 1．2 本文完成的主要工作研究 | 第9-11页 |
| 第2章 Petri网的基本理论 | 第11-17页 |
| 2．1 Petri网的基本概念 | 第11-13页 |
| 2．2 Petri网的实例分析 | 第13-16页 |
| 2．3 小结 | 第16-17页 |
| 第3章 一种死锁避免算法 | 第17-23页 |
| 3．1 概述 | 第17-18页 |
| 3．2 一种死锁避免算法 | 第18-19页 |
| 3．3 求解Petri网系统死锁标识的方法 | 第19-22页 |
| 3．4 小结 | 第22-23页 |
| 第4章 Petri网不变式和状态方程的求解 | 第23-31页 |
| 4．1 概述 | 第23页 |
| 4．2 Petri网中不变式的求解 | 第23-28页 |
| 4．3 Petri网状态方程的求解 | 第28-30页 |
| 4．4 小结 | 第30-31页 |
| 第5章 基于Gr（?）bner基的Petri网分析 | 第31-39页 |
| 5．1 概述 | 第31-32页 |
| 5．2 相关的Gr（?）bner基的基本概念 | 第32-33页 |
| 5．3 基于Gr（?）bner基的Petri网分析 | 第33-38页 |
| 5．4 小结 | 第38-39页 |
| 第6章 非循环网的可达性分析 | 第39-48页 |
| 6．1 非循环网的特点 | 第39-43页 |
| 6．2 非循环网的可达性分析 | 第43-47页 |
| 6．3 小结 | 第47-48页 |
| 第7章 Petri网的可达性问题的综合分析 | 第48-55页 |
| 7．1 Petri网可达性问题的综合分析 | 第48-50页 |
| 7．2 一种改进的剔除伪标识的算法 | 第50-52页 |
| 7．3 一种可达性判断方法 | 第52-54页 |
| 7．4 小结 | 第54-55页 |
| 第8章 实例分析 | 第55-68页 |
| 附录 | 第68-80页 |
| 结束语 | 第80-81页 |
| 致谢 | 第81-82页 |
| 参考文献 | 第82-83页 |