| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 主要符号对照表 | 第7-11页 |
| 第一章 绪论 | 第11-16页 |
| ·课题的研究背景和意义 | 第11-12页 |
| ·国内外研究现状 | 第12-15页 |
| ·本文的主要内容 | 第15-16页 |
| 第二章 Petri网基础理论 | 第16-20页 |
| ·Petri网的结构定义 | 第16-17页 |
| ·Petri网的变迁发射规则 | 第17页 |
| ·库所不变式的定义及性质 | 第17页 |
| ·信标的定义 | 第17-18页 |
| ·路径和环的定义 | 第18页 |
| ·S~3PR网的基本定义 | 第18-19页 |
| ·本章小结 | 第19-20页 |
| 第三章 基于树的极小信标提取方法 | 第20-28页 |
| ·基于MIP求取最大被清空信标的方法 | 第20-21页 |
| ·从最大被清空信标中提取极小信标的算法 | 第21-26页 |
| ·Huang等人的算法 | 第21页 |
| ·Li和Liu的算法 | 第21-22页 |
| ·本文提出的基于树的算法 | 第22-26页 |
| ·应用例子 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第四章 基于环资源子集的严格极小信标计算方法 | 第28-51页 |
| ·Li和Zhou的严格极小信标计算方法 | 第28-30页 |
| ·本文提出的严格极小信标计算方法 | 第30-44页 |
| ·资源环的计算 | 第30-34页 |
| ·环资源子集的计算 | 第34-38页 |
| ·环资源子集对应的信标是严格极小信标的充分必要条件 | 第38-42页 |
| ·严格极小信标的计算 | 第42-44页 |
| ·应用例子 | 第44-49页 |
| ·与Li和Zhou的方法比较 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 第五章 基于补库所的S~3PR网活性控制器设计 | 第51-64页 |
| ·基于补库所的S~3PR网活性控制器的存在条件 | 第51-56页 |
| ·弱变迁发射规则 | 第51页 |
| ·强变迁发射规则 | 第51-52页 |
| ·补库所转化法 | 第52-53页 |
| ·基于补库所的S~3PR网活性控制器存在的充分条件 | 第53-56页 |
| ·基于补库所的S~3PR网活性控制器设计算法 | 第56-60页 |
| ·应用例子 | 第60-63页 |
| ·本章小结 | 第63-64页 |
| 第六章 基于基本信标和补库所的S~3PR网活性控制器设计 | 第64-76页 |
| ·基本信标理论 | 第64页 |
| ·基于基本信标和补库所的的S~3PR网活性控制器设计算法 | 第64-68页 |
| ·应用例子 | 第68-70页 |
| ·与现有的一些方法比较 | 第70-75页 |
| ·本章小结 | 第75-76页 |
| 第七章 总结和展望 | 第76-78页 |
| ·工作总结 | 第76页 |
| ·展望 | 第76-78页 |
| 参考文献 | 第78-82页 |
| 本文作者硕士期间的科研成果 | 第82-84页 |
| 致谢 | 第84-85页 |
