基于信标最大可控性的资源分配系统死锁预防策略

论文摘要

论文研究了Petri网的特殊子类S~4PR的死锁控制问题，提出了两种基于信标最大可控性的死锁预防策略，即参数化的死锁预防策略和基于非充分标识信标的死锁预防策略。 参数化的死锁预防策略只对基本信标添加控制库所而不是对所有的严格极小信标添加控制库所。为了满足系统最大可控性，该策略对控制深度变量的进行了优化处理。依据S~4PR的结构特性，系统的最大可控性意味着系统的活性。 基于非充分标识信标的死锁预防策略引入了迭代的思想。在每一次迭代过程中，选择网系统中的一个最优的非充分标识信标加以控制使得该信标具备最大可控性。重复这样的迭代过程，直到最后形成的网系统中不存在不能最大可控的非充分标识信标，从而获得最大可控性的系统。 第一种算法适用于大型复杂的资源分配系统，第二种可以用于规模适中的资源分配系统。

论文目录

• 第一章 绪论
• 1.1 研究背景与意义
• 1.2 Petri网研究和应用现状
• 1.3 FMS的Petri网模型分类
• 1.4 FMS的死锁研究现状
• 1.5 本文完成的主要工作
• 第二章 Petri网的基本定义和概念
• 2.1 Petri网的基本定义和常用符号
• 2.1.1 Petri网的基定义
• 2.1.2 Petri网的活性及不变式
• 2.1.3 Petri网的一些基本性质
• 2.2 本章小结
• 4PR网模型及基本性质'>第三章 S⁴PR网模型及基本性质
• 3.1 一个FMS系统实例
• 4PR网系统'>3.2 S⁴PR网系统
• 3.3 加工进程网
• 3.4 进程网的基本性质
• 4PR网系统'>3.5 多进程的S⁴PR网系统
• 4PR网系统的性质'>3.6 S⁴PR网系统的性质
• 4PR网的活性分析'>3.7 S⁴PR网的活性分析
• 4PR网小结'>3.8 S⁴PR网小结
• 第四章 基本信标理论和信标的最大可控性
• 4.1 Petri网的基本信标理论
• 4.2 信标的可控性
• 4.3 一般网系统信标的最大可控性
• 4PR网系统信标的最大可控性'>4.4 S⁴PR网系统信标的最大可控性
• 4PR网系统信标的活性分析'>4.5 S⁴PR网系统信标的活性分析
• 4.6 本章小结
• 4PR系统实例'>第五章 一个S⁴PR系统实例
• 5.1 实例系统中的简单回路
• 5.2 实例系统中两类P-不变式
• 5.3 实例系统的严格极小信标组成
• 5.4 本章小结
• 第六章 参数化的死锁预防策略
• 6.1 参数化的死锁预防算法
• 6.2 参数化的控制器算法得应用实例
• 6.3 改进后的参数化的死锁预防策略的算法
• 6.4 本章小结
• 第七章 基于非充分表示信标的死锁预防策略
• 7.1 非充分标识信标的概念及求解算法
• 7.1.1 非充分标识信标的基本理论
• 7.1.2 基于MIP求解非充分标识信标的方法
• 7.1.3 基于图论求解非充分标识信标的方法
• 7.2 基于充分标识信标的死锁预防算法
• 7.3 基于充分标识信标的死锁预防算法的应用实例
• 7.4 本章小结
• 结束语
• 致谢
• 参考文献
• 在读期间的研究成果