Petri網(wǎng)是一種適合于描述異步并發(fā)的形式化系統(tǒng)模型。Petri網(wǎng)不僅有嚴格的數(shù)學表達形式與直觀的圖形表現(xiàn)形式,還具備對異步與并發(fā)系統(tǒng)進行系統(tǒng)描述與行為分析的功能,為計算機科學、控制科學等提供了一種形式化的分析思路和框架基礎。在Petri網(wǎng)中,托肯（token）的使用必不可少。在對生產(chǎn)制造過程建立Petri網(wǎng)模型時,通常用部分托肯描述可使用的資源,在資源分配系統(tǒng)（Resource Allocation Systems,RAS）中,資源是其重要的組成部分。一般情況下,資源可分為耐用型資源和消耗型資源。耐用型資源一般指機器設備等,消耗型資源一般指原料、耗材等。系統(tǒng)中資源的數(shù)量變化會影響系統(tǒng)及其Petri網(wǎng)模型的行為,導致死鎖等問題。以往相關研究中,絕大部分研究圍繞耐用型資源系統(tǒng)展開,對于消耗型資源的關注較少。實際上,耐用型資源和消耗型資源只是在一定時間尺度內的相對概念,任何資源都是消耗型資源。具有消耗型資源的系統(tǒng)模型更能反映出系統(tǒng)實際運行情況。因此,對存在消耗型資源的一類Petri網(wǎng)的研究,表現(xiàn)的尤為重要。在前人研究工作的基礎上,本文提出了一類關注消耗型資源并對系統(tǒng)運行行為產(chǎn)生影響的Pet... 

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

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

【學位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
符號對照表
縮略語對照表
第一章 緒論
    1.1 研究背景及意義
    1.2 國內外發(fā)展現(xiàn)狀
        1.2.1 Petri網(wǎng)發(fā)展簡介
        1.2.2 Petri網(wǎng)在各領域的應用
        1.2.3 死鎖問題的處理方法
    1.3 論文的主要內容及章節(jié)安排
第二章 Petri網(wǎng)基本理論及子類
    2.1 Petri網(wǎng)的基本概念
        2.1.1 Petri網(wǎng)的基本定義
        2.1.2 Petri網(wǎng)的基本性質
        2.1.3 Petri網(wǎng)的分析方法
    2.2 信標與陷阱
3PR、WS³PR與LS³PR">    2.3 S³PR、WS³PR與LS³PR
    2.4 本章小結
第三章 存在消耗型資源的一類Petri網(wǎng)
    3.1 RCPN的基本理論
        3.1.1 RCPN的基本定義
        3.1.2 一個RCPN的建模實例
    3.2 資源消耗的方式和死鎖的分類
        3.2.1 資源消耗的方式
        3.2.2 死鎖的分類
i的判斷">        3.2.3 資源耗盡標識D_i的判斷
    3.3 工具軟件CPN Tools簡介
        3.3.1 CPN Tools主要工具板介紹
        3.3.2 CPN Tools建模及分析過程
    3.4 基于CPN Tools的RCPN建模
    3.5 本章小結
第四章 基于LRS活性比例控制器的BC運行控制器
    4.1 資源回路與競爭路徑的選取
        4.1.1 資源庫所權限圖與資源回路
        4.1.2 資源路徑與競爭路徑
    4.2 基于LRS控制器的BC控制器設計
        4.2.1 LRS控制器設計
        4.2.2 資源利用率與設計原理
        4.2.3 BC控制器設計
    4.3 RCPN的BC控制器設計
    4.4 BC運行控制器的簡化與非簡化對比
    4.5 基于抑制弧與全局控制器的控制策略
        4.5.1 區(qū)間抑制弧
        4.5.2 數(shù)據(jù)抑制弧
        4.5.3 全局控制器控制策略
    4.6 本章小結
第五章 基于回溯變遷的控制器設計
    5.1 基于回溯變遷的控制器設計
        5.1.1 Petri網(wǎng)中的軟件控制器和硬件控制器
        5.1.2 Petri網(wǎng)中的變遷分類
3PR網(wǎng)與WS3PR網(wǎng)的回溯變遷控制器的設計">    5.2 S³PR網(wǎng)與WS3PR網(wǎng)的回溯變遷控制器的設計
3PR網(wǎng)回溯變遷控制器的設計">        5.2.1 S³PR網(wǎng)回溯變遷控制器的設計
3PR網(wǎng)回溯變遷控制器的設計">        5.2.2 WS³PR網(wǎng)回溯變遷控制器的設計
    5.3 RCPN的回溯變遷控制器的設計
    5.4 BC運行控制器與基于變遷的回溯控制器的結合
    5.5 本章小結
第六章 總結與展望
    6.1 總結
    6.2 展望
參考文獻
致謝
作者簡介



本文編號：3134827