在柔性制造系統(tǒng)中對(duì)有限資源的競(jìng)爭(zhēng)會(huì)使系統(tǒng)產(chǎn)生死鎖現(xiàn)象。Petri網(wǎng)作為一種工具，它很方便的為柔性制造系統(tǒng)建模，分析并解決了這一死鎖問(wèn)題。基于Petri網(wǎng)來(lái)防止柔性制造系統(tǒng)出現(xiàn)死鎖的方法是通過(guò)給每一個(gè)嚴(yán)格極小信標(biāo)添加一個(gè)控制庫(kù)所和連接弧來(lái)保證每一個(gè)嚴(yán)格極小信標(biāo)不會(huì)被清空。通常，隨著網(wǎng)規(guī)模的增大，極小信標(biāo)的的數(shù)目會(huì)激增，該方法的缺點(diǎn)是給網(wǎng)系統(tǒng)添加了過(guò)多的控制庫(kù)所，這樣便會(huì)使最終網(wǎng)系統(tǒng)比初始網(wǎng)系統(tǒng)復(fù)雜很多。本文致力于在得到同樣控制效果的同時(shí)減少新添加庫(kù)所的研究。 首先我們提出了基本信標(biāo)是研究Petri網(wǎng)死鎖的一個(gè)很有效的策略，在此基礎(chǔ)上介紹了基本信標(biāo)的死鎖預(yù)防算法。而且在研究中我們分析了此種算法在設(shè)計(jì)Petri網(wǎng)活性監(jiān)督器時(shí)的一些優(yōu)點(diǎn)。通過(guò)對(duì)幾種不同規(guī)模的柔性制造系統(tǒng)的死鎖分析，我們利用基本信標(biāo)的死鎖預(yù)防算法可以使監(jiān)督器在結(jié)構(gòu)上更簡(jiǎn)單，而且此種算法的優(yōu)越性在規(guī)模越大的網(wǎng)中越明顯。 同時(shí)在研究過(guò)程中由于添加控制庫(kù)所過(guò)多，我們遇到了為原網(wǎng)添加控制弧的困難，由于不慎很可能造成最后計(jì)算的錯(cuò)誤。這樣基于此問(wèn)題，本文提出了一種添加控制弧的算法，并編寫(xiě)了程序。

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

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

【文章目錄】：
第一章 緒論
    1.1 研究背景與意義
    1.2 本文完成的主要工作
第二章 Petri網(wǎng)的基本概念
    2.1 Petri網(wǎng)的基本理論
    2.2 舉例
    2.3 自動(dòng)制造系統(tǒng)的Petri網(wǎng)模型
    2.4 小結(jié)
第三章 S³PR網(wǎng)模型及基本信標(biāo)理論
    3.1 一類FMS的Petri網(wǎng)模型—S³PR簡(jiǎn)介
    3.2 Petri網(wǎng)的基本信標(biāo)理論
    3.3 小結(jié)
第四章 兩種死鎖預(yù)防算法
    4.1 Ezpeleta死鎖預(yù)防算法
    4.2 基于基本信標(biāo)的死鎖預(yù)防算法
    4.3 兩種算法在FMS系統(tǒng)的應(yīng)用比較
    4.4 小結(jié)
第五章 死鎖算法在FMS系統(tǒng)的應(yīng)用實(shí)例
    5.1 兩種死鎖算法在實(shí)際中的舉例
    5.2 小結(jié)
第六章 FMS系統(tǒng)添加控制庫(kù)所的程序算法
    6.1 一種計(jì)算系統(tǒng)添加弧數(shù)的程序算法
    6.2 一種計(jì)算系統(tǒng)添加控制庫(kù)所的程序算法
    6.3 小結(jié)
附錄A
附錄B
結(jié)束語(yǔ)
致謝
參考文獻(xiàn)
在讀期間的研究成果



本文編號(hào)：3952371