| 第一章 绪论 | 第1-27页 |
| ·引言 | 第22-23页 |
| ·课题研究现状及解决方法 | 第23-24页 |
| ·本文工作内容综述 | 第24-25页 |
| ·本文思路及安排 | 第25-27页 |
| 第二章 Petri网基本知识 | 第27-40页 |
| ·Petri网概述 | 第27-28页 |
| ·Petri网基本概念和性质 | 第28-36页 |
| ·Petri网的基本分析方法 | 第36-40页 |
| 第三章 合法引发序列判定算法 | 第40-64页 |
| ·算法基础 | 第40-46页 |
| ·算法思想描述 | 第46-51页 |
| ·数据结构的选择 | 第51-53页 |
| ·算法流程图 | 第53-58页 |
| ·算法的伪代码描述 | 第58-64页 |
| 第四章 算法分析 | 第64-76页 |
| ·算法的正确性证明 | 第64-71页 |
| ·算法的时间复杂性分析 | 第71-73页 |
| ·算法验证示例 | 第73-76页 |
| 第五章 结束语 | 第76-79页 |
| ·本文所做工作总结 | 第76-77页 |
| ·后续研究课题展望 | 第77-79页 |
| 致谢 | 第79-80页 |
| 参考文献 | 第80-83页 |