Petri網(wǎng)作為一種將圖形描述與數(shù)學(xué)分析相結(jié)合的工具,特別適合對離散事件系統(tǒng)進行建模、分析和控制。Petri網(wǎng)用于制造系統(tǒng)建模的一個優(yōu)勢就是它可以簡單準確地對系統(tǒng)中的并發(fā)、沖突、因果等特性進行描述。相較與其它方法,從結(jié)構(gòu)角度對系統(tǒng)進行分析主要有兩個優(yōu)點:并發(fā)系統(tǒng)中的狀態(tài)爆炸問題能夠得以避免;對系統(tǒng)結(jié)構(gòu)和行為之間的關(guān)系進行研究可對系統(tǒng)本身有更深刻的理解。系統(tǒng)的活性和信標之間有著非常密切的聯(lián)系。本文從K-系統(tǒng)的結(jié)構(gòu)和行為角度出發(fā),對其信標和活性之間的關(guān)系進行了研究,在K-系統(tǒng)現(xiàn)有結(jié)構(gòu)條件基礎(chǔ)上,提出一種新的充分的結(jié)構(gòu)條件:當(dāng)一個網(wǎng)在結(jié)構(gòu)上滿足該條件時,可以確定該網(wǎng)的可控信標性和活性等價。在一定程度上擴展了具有上述特性的網(wǎng)的結(jié)構(gòu)范圍。面向過程的自動制造系統(tǒng)往往要求不同加工過程之間能夠進行信息交互,通過合作共同完成某個任務(wù)。然而在一些柔性制造系統(tǒng)中,加工過程之間的交互僅僅局限于共享的資源庫所。本文以S³PR網(wǎng)為模型,對其不同加工過程之間的同步進行研究,不同加工過程之間通過異步的傳遞信息進行交互從而實現(xiàn)合作的目的。采用添加消息庫所的方式對S³PR網(wǎng)內(nèi)部... 

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

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

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

【文章目錄】：
摘要
ABSTRACT
符號對照表
縮略語對照表
第一章 緒論
    1.1 研究背景
    1.2 研究意義
    1.3 本文的組織結(jié)構(gòu)
第二章 Petri網(wǎng)的基本理論
    2.1 Petri網(wǎng)的基本概念
    2.2 Petri網(wǎng)的基本性質(zhì)
    2.3 Petri網(wǎng)的子類
        2.3.1 Petri網(wǎng)的基本子類
3PR網(wǎng)">        2.3.2 S³PR網(wǎng)
    2.4 K-系統(tǒng)
        2.4.1 K-系統(tǒng)的定義
        2.4.2 有序系統(tǒng)
        2.4.3 死閉合系統(tǒng)
        2.4.4 根系統(tǒng)
        2.4.5 同步的死閉合系統(tǒng)
    2.5 小結(jié)
3PR網(wǎng)活性的初始標識的求解">第三章 確保S³PR網(wǎng)活性的初始標識的求解
3PR網(wǎng)的活性和可控信標性">    3.1 S³PR網(wǎng)的活性和可控信標性
    3.2 實例
    3.3 小結(jié)
3PR網(wǎng)的同步">第四章 S³PR網(wǎng)的同步
    4.1 同步
3PR網(wǎng)內(nèi)部過程的同步">    4.2 S³PR網(wǎng)內(nèi)部過程的同步
3PR網(wǎng)同步后的可控信標性和活性等價關(guān)系研究">    4.3 S³PR網(wǎng)同步后的可控信標性和活性等價關(guān)系研究
    4.4 消息庫所添加位置對子網(wǎng)可達狀態(tài)的影響
    4.5 小結(jié)
第五章 同步的應(yīng)用：物流系統(tǒng)模型
    5.1 各級站點模型
    5.2 物流系統(tǒng)整體模型
    5.3 小結(jié)
第六章 總結(jié)與展望
    6.1 論文總結(jié)
    6.2 研究展望
參考文獻
致謝
作者簡介


【參考文獻】：
期刊論文
[1]Petri網(wǎng)理論在物流管理中的應(yīng)用研究綜述[J]. 張梅青,周葉.  物流技術(shù). 2010(07)
[2]Petri網(wǎng)合成理論及應(yīng)用綜述[J]. 王琦,韓江洪,王青山.  計算機仿真. 2008(12)
[3]一種Petri網(wǎng)合成方法及其在系統(tǒng)建模中的應(yīng)用[J]. 夏傳良.  系統(tǒng)仿真學(xué)報. 2006(02)
[4]面向制造過程的工作流建模[J]. 周萬坤,朱劍英.  機械科學(xué)與技術(shù). 2004(02)
[5]一種基于同步合成Petri網(wǎng)的FMS建模方法[J]. 王化冰.  系統(tǒng)工程理論與實踐. 2001(02)

博士論文
[1]Petri網(wǎng)基本信標的求取算法及死鎖避免策略研究[D]. 王安榮.西安電子科技大學(xué) 2009



本文編號：2966824