基于一类Petri Net模型的初始状态配置与死锁检测
| 摘 要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景与意义 | 第7-9页 |
| ·本文所完成的主要工作 | 第9-11页 |
| 第二章 基于Petri 网的建模与分析 | 第11-17页 |
| ·基于Petri 网的建模 | 第11-15页 |
| ·Petri 网的分析技术 | 第15页 |
| ·本章总结 | 第15-17页 |
| 第三章 Petri 网的基本定义与性质 | 第17-21页 |
| ·基本定义 | 第17-19页 |
| ·基本性质 | 第19-20页 |
| ·本章总结 | 第20-21页 |
| 第四章 S~3PR 网及其子类L-S~3PR 网 | 第21-29页 |
| ·结构与性质 | 第21-25页 |
| ·一个建模实例 | 第25-27页 |
| ·本章总结 | 第27-29页 |
| 第五章 一种判定一类网模型活性的线性算法 | 第29-37页 |
| ·线性算法的理论导出 | 第29-33页 |
| ·应用举例 | 第33-34页 |
| ·本章总结 | 第34-37页 |
| 第六章 通过配置初始标识使系统无死锁 | 第37-49页 |
| ·求取约束条件族的直接方法 | 第37-38页 |
| ·应用举例与物理意义 | 第38-47页 |
| ·本章总结 | 第47-49页 |
| 第七章 从极大信标中获取极小信标的算法与证明 | 第49-55页 |
| ·对错误算法的分析 | 第49-50页 |
| ·新算法与例子 | 第50-53页 |
| ·理论证明 | 第53-54页 |
| ·本章总结 | 第54-55页 |
| 第八章 总结与展望 | 第55-57页 |
| ·论文总结 | 第55-56页 |
| ·研究展望 | 第56-57页 |
| 致谢 | 第57-59页 |
| 参考文献 | 第59-63页 |
| 在读期间的研究成果 | 第63页 |
