利用Petri網(wǎng)對柔性制造系統(tǒng)進行設(shè)計一直是Petri網(wǎng)研究的重要方向。對于一個網(wǎng)模型而言,找到死鎖節(jié)點,利用一定辦法對其死鎖節(jié)點進行控制,使其網(wǎng)變活,是一種良好的控制策略。在這篇文章里,我們提到了一種新的死鎖檢測方法,利用傳遞矩陣這一新的死鎖查找辦法,得到S³PR網(wǎng)的死鎖節(jié)點,然后結(jié)合P-不變式控制原理,對網(wǎng)添加控制庫所和相應(yīng)控制弧,使得S³PR網(wǎng)最終是一個活的Petri網(wǎng)模型。這種新的死鎖查找方法是在研究0-1網(wǎng)的基礎(chǔ)上得到的,并把它推廣應(yīng)用到任何普通網(wǎng)內(nèi),與P-不變式控制原理相結(jié)合形成新的Petri網(wǎng)死鎖檢測和預(yù)防策略。該策略可以利用Matlab軟件編程去進行矩陣計算,從而可大大節(jié)省計算時間,使控制器的設(shè)計相比于以前的查找死鎖辦法更簡單,效率更高。因此利用這種新的死鎖檢測和預(yù)防策略可以在較短的時間里得到一個優(yōu)化的Petri網(wǎng)模型。 

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

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

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

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 研究背景與意義
    1.2 Petri網(wǎng)的研究和應(yīng)用現(xiàn)狀
    1.3 FMS系統(tǒng)的死鎖研究現(xiàn)狀
    1.4 本文完成的主要工作
第二章 Petri網(wǎng)理論基礎(chǔ)及系統(tǒng)建模分析
    2.1 Petri網(wǎng)的基本理論
        2.1.1 Petri網(wǎng)的基礎(chǔ)定義
        2.1.2 Petri網(wǎng)的活性及不變式
        2.1.3 Petri網(wǎng)的一些基本性質(zhì)
    2.2 FMS的Petri網(wǎng)模型
    2.3 Petri網(wǎng)中庫所的分類
    2.4 小結(jié)
第三章 柔性制造系統(tǒng)的Petri網(wǎng)模型
    3.1 資源控制合并網(wǎng)
3PR網(wǎng)">    3.2 FMS的Petri網(wǎng)模型-S³PR網(wǎng)
    3.3 小結(jié)
第四章 基本信標(biāo)理論
    4.1 基本信標(biāo)和從屬信標(biāo)
    4.2 信標(biāo)的可控條件
    4.3 求取基本信標(biāo)的一種算法
    4.4 小結(jié)
第五章 傳遞矩陣的概念和特性
    5.1 傳遞矩陣的基本概念
    5.2 傳遞矩陣應(yīng)用實例及算法
        5.2.1 一個求Petri網(wǎng)死鎖過程實例
        5.2.2 求取死鎖詳細(xì)算法設(shè)計
    5.3 小結(jié)
第六章 死鎖預(yù)防控制策略
    6.1 死鎖預(yù)防控制本質(zhì)思想
    6.2 基于P-不變式的死鎖預(yù)防控制
    6.3 小結(jié)
第七章 一種新的死鎖檢測和預(yù)防策略
    7.1 死鎖檢測和預(yù)防策略算法
    7.2 應(yīng)用舉例
    7.3 小結(jié)
第八章 總結(jié)和展望
致謝
參考文獻
在讀期間的研究成果



本文編號：2960916