基于Petri网结构分析的从属信标存在性研究
摘要 | 第1-5页 |
Abstract | 第5-8页 |
第一章 绪论 | 第8-14页 |
·研究背景与意义 | 第8-11页 |
·本文完成的主要工作 | 第11-14页 |
第二章 Petri 网的基本概念及数学基础知识 | 第14-23页 |
·数学基础知识 | 第14-16页 |
·Petri 网的基本理论 | 第16-19页 |
·Petri 网的基本定义 | 第16-17页 |
·Petri 网的活性及不变式 | 第17-18页 |
·Petri 网的一些基本性质 | 第18-19页 |
·自动制造系统的Petri 网模型 | 第19-20页 |
·一个Petri 网实例 | 第20-22页 |
·本章小结 | 第22-23页 |
第三章 S~3PR 网和L-S~3PR 网模型 | 第23-31页 |
·FMS 的Petri 网模型-53PR | 第23-26页 |
·FMS 的Petri 网模型-L-53PR | 第26-28页 |
·一个建模实例 | 第28-30页 |
·本章小结 | 第30-31页 |
第四章 Petri 网的基本信标及从属信标理论 | 第31-36页 |
·基本定义及性质 | 第31-33页 |
·从属信标的存在性 | 第33-34页 |
·弱从属信标存在的必然性 | 第34-35页 |
·本章小结 | 第35-36页 |
第五章 SMS 与资源回路 | 第36-48页 |
·资源回路的基本定义及性质 | 第36-41页 |
·回路矩阵与补集矩阵 | 第41-44页 |
·回路基本运算与多集运算 | 第44-47页 |
·本章小结 | 第47-48页 |
第六章 弱从属信标的必然存在性分析 | 第48-55页 |
·弱从属信标必然存在的网结构特性 | 第48-50页 |
·一个必然存在弱从属信标资源有向图结构 | 第50-54页 |
·本章小结 | 第54-55页 |
第七章 结论及讨论 | 第55-56页 |
致谢 | 第56-58页 |
在读期间的研究成果 | 第58-60页 |
参考文献 | 第60-62页 |