論文應(yīng)用基本信標(biāo)研究死鎖預(yù)防策略，通過(guò)對(duì)柔性制造系統(tǒng)（FMS）的Petri網(wǎng)模型子類(lèi)—RCN合并網(wǎng)的結(jié)構(gòu)特性分析，將RCN合并網(wǎng)中存在問(wèn)題的信標(biāo)區(qū)分為基本信標(biāo)和從屬信標(biāo)，提出基于基本信標(biāo)的RCN合并網(wǎng)的死鎖預(yù)防方法。應(yīng)用這種控制策略可以更加有效的控制網(wǎng)系統(tǒng)，增強(qiáng)新網(wǎng)的活性。論文還針對(duì)由于信標(biāo)清空而產(chǎn)生死鎖的一類(lèi)Petri網(wǎng)模型系統(tǒng)，提出了一種綜合應(yīng)用Petri網(wǎng)基本信標(biāo)理論和區(qū)域理論處理死鎖預(yù)防問(wèn)題的常規(guī)設(shè)計(jì)方法，并編寫(xiě)程序?qū)崿F(xiàn)了對(duì)可達(dá)圖的分析計(jì)算。該方法包括信標(biāo)控制和區(qū)域法理論控制兩個(gè)主要步驟。第一步的工作主要是降低第二步的計(jì)算量，這比單獨(dú)應(yīng)用區(qū)域法理論的方法很大程度上減少了計(jì)算量，提高了效率。 

【文章來(lái)源】：西安電子科技大學(xué)陜西省 211工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：77 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖4.4兩種控制方法比較

(p:n)+c(p。、，’)rM+C(pm，t)‘一l(5.3)下面用例子闡述上述方法。首先我們假設(shè)對(duì)(M，，)st添加控制庫(kù)所pm:實(shí)現(xiàn)上述目的。因此我們可以得到以下的可達(dá)條件等式(5.4)一(5.8)，由圖5.3中的可達(dá)圖中的兩條基本回路可得等式(5.19)一(5.20)，標(biāo)識(shí)或變遷分離等式(5.21)。我們可以容易看出Mo印m，)之0，令x=M。(p:，1;)，x=iC(pmi，ti)，其中i。{l


本文編號(hào)：3579428