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

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

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

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

【文章目錄】：
摘要
ABSTRACT
符號(hào)對(duì)照表
縮略語(yǔ)對(duì)照表
第一章 緒論
    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)活性的初始標(biāo)識(shí)的求解">第三章 確保S³PR網(wǎng)活性的初始標(biāo)識(shí)的求解
3PR網(wǎng)的活性和可控信標(biāo)性">    3.1 S³PR網(wǎng)的活性和可控信標(biāo)性
    3.2 實(shí)例
    3.3 小結(jié)
3PR網(wǎng)的同步">第四章 S³PR網(wǎng)的同步
    4.1 同步
3PR網(wǎng)內(nèi)部過(guò)程的同步">    4.2 S³PR網(wǎng)內(nèi)部過(guò)程的同步
3PR網(wǎng)同步后的可控信標(biāo)性和活性等價(jià)關(guān)系研究">    4.3 S³PR網(wǎng)同步后的可控信標(biāo)性和活性等價(jià)關(guān)系研究
    4.4 消息庫(kù)所添加位置對(duì)子網(wǎng)可達(dá)狀態(tài)的影響
    4.5 小結(jié)
第五章 同步的應(yīng)用：物流系統(tǒng)模型
    5.1 各級(jí)站點(diǎn)模型
    5.2 物流系統(tǒng)整體模型
    5.3 小結(jié)
第六章 總結(jié)與展望
    6.1 論文總結(jié)
    6.2 研究展望
參考文獻(xiàn)
致謝
作者簡(jiǎn)介


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

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



本文編號(hào)：2966824