一类Petri网中基本信标的快速求解算法
| 摘 要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-12页 |
| ·研究背景与意义 | 第7-10页 |
| ·信标的求取方法 | 第10-11页 |
| ·本文完成的工作 | 第11-12页 |
| 第二章 基于Petri 网的系统建模与分析 | 第12-16页 |
| ·基于Petri 网的系统建模 | 第12-15页 |
| ·基于Petri 网的系统分析 | 第15页 |
| ·本章总结 | 第15-16页 |
| 第三章 Petri 网的基本概念和术语 | 第16-23页 |
| ·Petri 网的基本理论 | 第16-19页 |
| ·Petri 网的实例分析 | 第19-22页 |
| ·本章总结 | 第22-23页 |
| 第四章 S~3PR 网和基本信标理论 | 第23-34页 |
| ·S~3PR 网及其子类L-S~3PR 网 | 第23-27页 |
| ·基本信标理论 | 第27-29页 |
| ·补集与基本信标 | 第29-30页 |
| ·举例 | 第30-32页 |
| ·本章总结 | 第32-34页 |
| 第五章 S~3PR 网中的资源回路 | 第34-44页 |
| ·资源回路 | 第34-35页 |
| ·有向资源图及其连通性 | 第35-37页 |
| ·资源回路与信标 | 第37-41页 |
| ·资源回路与补集 | 第41-43页 |
| ·本章总结 | 第43-44页 |
| 第六章 S~3PR 网中基本信标的快速求取算法 | 第44-56页 |
| ·独立弧段和友元 | 第44-48页 |
| ·L-S~3PR 网中基本信标的快速求取算法 | 第48-51页 |
| ·S~3PR 网中基本信标的快速求取算法 | 第51-55页 |
| ·本章总结 | 第55-56页 |
| 第七章 算法应用举例 | 第56-63页 |
| ·一个FMS 单元实例 | 第56-59页 |
| ·一个大规模的Petri 网 | 第59-62页 |
| ·本章总结 | 第62-63页 |
| 结束语 | 第63-65页 |
| 致 谢 | 第65-67页 |
| 参考文献 | 第67-71页 |
| 在读期间的研究成果 | 第71页 |
