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

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

【學位級別】：碩士

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



本文編號：3952371