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

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

【文章頁數】：67 頁

【學位級別】：碩士

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



本文編號：2960916