一类柔性制造系统死锁预防策略

发布时间：2022-01-09 20:56

　　论文应用基本信标研究死锁预防策略，通过对柔性制造系统（FMS）的Petri网模型子类—RCN合并网的结构特性分析，将RCN合并网中存在问题的信标区分为基本信标和从属信标，提出基于基本信标的RCN合并网的死锁预防方法。应用这种控制策略可以更加有效的控制网系统，增强新网的活性。论文还针对由于信标清空而产生死锁的一类Petri网模型系统，提出了一种综合应用Petri网基本信标理论和区域理论处理死锁预防问题的常规设计方法，并编写程序实现了对可达图的分析计算。该方法包括信标控制和区域法理论控制两个主要步骤。第一步的工作主要是降低第二步的计算量，这比单独应用区域法理论的方法很大程度上减少了计算量，提高了效率。 

【文章来源】：西安电子科技大学陕西省 211工程院校 教育部直属院校

【文章页数】：77 页

【学位级别】：硕士

【部分图文】：

图4.4两种控制方法比较

(p:n)+c(p。、，’)rM+C(pm，t)‘一l(5.3)下面用例子阐述上述方法。首先我们假设对(M，，)st添加控制库所pm:实现上述目的。因此我们可以得到以下的可达条件等式(5.4)一(5.8)，由图5.3中的可达图中的两条基本回路可得等式(5.19)一(5.20)，标识或变迁分离等式(5.21)。我们可以容易看出Mo印m，)之0，令x=M。(p:，1;)，x=iC(pmi，ti)，其中i。{l


本文编号：3579428