基于信标最大可控性的资源分配系统死锁预防策略
| 第一章 绪论 | 第1-13页 |
| 1．1 研究背景与意义 | 第7页 |
| 1．2 Petri网研究和应用现状 | 第7-8页 |
| 1．3 FMS的Petri网模型分类 | 第8-9页 |
| 1．4 FMS的死锁研究现状 | 第9-11页 |
| 1．5 本文完成的主要工作 | 第11-13页 |
| 第二章 Petri网的基本定义和概念 | 第13-17页 |
| 2．1 Petri网的基本定义和常用符号 | 第13-16页 |
| 2．1．1 Petri网的基定义 | 第13-14页 |
| 2．1．2 Petri网的活性及不变式 | 第14-15页 |
| 2．1．3 Petri网的一些基本性质 | 第15-16页 |
| 2．2 本章小结 | 第16-17页 |
| 第三章 S~4PR网模型及基本性质 | 第17-33页 |
| 3．1 一个FMS系统实例 | 第17-19页 |
| 3．2 S~4PR网系统 | 第19-20页 |
| 3．3 加工进程网 | 第20-21页 |
| 3．4 进程网的基本性质 | 第21-23页 |
| 3．5 多进程的S~4PR网系统 | 第23-24页 |
| 3．6 S~4PR网系统的性质 | 第24-29页 |
| 3．7 S~4PR网的活性分析 | 第29-32页 |
| 3．8 S~4PR网小结 | 第32-33页 |
| 第四章 基本信标理论和信标的最大可控性 | 第33-47页 |
| 4．1 Petri网的基本信标理论 | 第33-36页 |
| 4．2 信标的可控性 | 第36-38页 |
| 4．3 一般网系统信标的最大可控性 | 第38-40页 |
| 4．4 S~4PR网系统信标的最大可控性 | 第40-44页 |
| 4．5 S~4PR网系统信标的活性分析 | 第44-46页 |
| 4．6 本章小结 | 第46-47页 |
| 第五章 一个S~4PR系统实例 | 第47-51页 |
| 5．1 实例系统中的简单回路 | 第47-48页 |
| 5．2 实例系统中两类P-不变式 | 第48-49页 |
| 5．3 实例系统的严格极小信标组成 | 第49-50页 |
| 5．4 本章小结 | 第50-51页 |
| 第六章 参数化的死锁预防策略 | 第51-61页 |
| 6．1 参数化的死锁预防算法 | 第51-53页 |
| 6．2 参数化的控制器算法得应用实例 | 第53-58页 |
| 6．3 改进后的参数化的死锁预防策略的算法 | 第58-60页 |
| 6．4 本章小结 | 第60-61页 |
| 第七章 基于非充分表示信标的死锁预防策略 | 第61-67页 |
| 7．1 非充分标识信标的概念及求解算法 | 第61-63页 |
| 7．1．1 非充分标识信标的基本理论 | 第61-62页 |
| 7．1．2 基于MIP求解非充分标识信标的方法 | 第62页 |
| 7．1．3 基于图论求解非充分标识信标的方法 | 第62-63页 |
| 7．2 基于充分标识信标的死锁预防算法 | 第63-64页 |
| 7．3 基于充分标识信标的死锁预防算法的应用实例 | 第64-66页 |
| 7．4 本章小结 | 第66-67页 |
| 结束语 | 第67-69页 |
| 致谢 | 第69-71页 |
| 参考文献 | 第71-77页 |
| 在读期间的研究成果 | 第77页 |
