| 摘要 | 第2-4页 |
| ABSTRACT | 第4-5页 |
| 第1章 绪论 | 第7-11页 |
| 1.1 课题研究背景和意义 | 第7-8页 |
| 1.2 课题国内外研究现状 | 第8-9页 |
| 1.3 本文的主要内容 | 第9-11页 |
| 第2章 Petri网的基础理论 | 第11-20页 |
| 2.1 Petri网的定义和性质 | 第11-16页 |
| 2.2 Petri网的常见结构 | 第16-19页 |
| 2.3 本章小结 | 第19-20页 |
| 第3章 普通Petri网极小信标的研究和软件开发 | 第20-40页 |
| 3.1 相关定理和函数具体实现介绍 | 第20-29页 |
| 3.2 LPMSE算法和改进的LPMSE算法 | 第29-36页 |
| 3.2.1 LPMSE算法介绍 | 第29-32页 |
| 3.2.2 改进的LPMSE算法的设计 | 第32-36页 |
| 3.3 改进的LPMSE和LPMSE算法计算效率比较 | 第36-37页 |
| 3.4 开发软件的介绍 | 第37-39页 |
| 3.5 本章小结 | 第39-40页 |
| 第4章 S~3PR网严格极小信标的研究和软件的开发 | 第40-50页 |
| 4.1 S~3PR网的定义和相关概念、定理的介绍 | 第40-42页 |
| 4.2 基于问题分解法计算严格极小信标 | 第42-47页 |
| 4.2.1 问题分解方法的设计 | 第42-43页 |
| 4.2.2 算法设计 | 第43-47页 |
| 4.3 复杂度分析何计算效率比较 | 第47-48页 |
| 4.3.1 复杂度分析 | 第47-48页 |
| 4.3.2 计算效率比较 | 第48页 |
| 4.4 开发软件的介绍 | 第48-49页 |
| 4.5 本章小结 | 第49-50页 |
| 第5章 计算极小信标软件的开发介绍 | 第50-55页 |
| 5.1 开发工具和开发语言简介 | 第50页 |
| 5.2 软件中主要类的设计和数据结构的简介 | 第50-54页 |
| 5.3 本章小结 | 第54-55页 |
| 第6章 总结与展望 | 第55-57页 |
| 6.1 工作总结 | 第55页 |
| 6.2 未来展望 | 第55-57页 |
| 参考文献 | 第57-60页 |
| 致谢 | 第60-61页 |
| 本文作者硕士期间取得的成果 | 第61-62页 |