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