在柔性制造系統(tǒng)(Flexible Manufacturing Systems,FMS)中,通常會并行加工不同類型的產(chǎn)品,同一種資源會被不同的加工進程共享,如果資源分配不當(dāng),系統(tǒng)就可能產(chǎn)生死鎖。死鎖產(chǎn)生后,會導(dǎo)致整個或部分系統(tǒng)無法運行。因此,解決死鎖問題是保證柔性制造系統(tǒng)正常運行的前提。Petri網(wǎng)可以有效地對制造系統(tǒng)進行建模,分析和死鎖控制。基于Petri網(wǎng)的死鎖預(yù)防策略有很多種,計算復(fù)雜度是各種策略都面臨的重大難題。本文基于Petri網(wǎng)理論,從結(jié)構(gòu)分析的角度,對S³PR(System of Simple Sequential Processes with Resources)網(wǎng)模型中的兩個特殊子類:雙進程S³PR網(wǎng)和雙進程US³PR網(wǎng)的死鎖預(yù)防問題進行研究。分析網(wǎng)的結(jié)構(gòu)特點與死鎖之間的關(guān)系,進而針對這兩類網(wǎng)模型,分別提出了規(guī)律性的添加控制器的方法,避免了復(fù)雜的計算。主要完成的工作內(nèi)容如下:1.針對雙進程S³PR網(wǎng)模型,通過對其結(jié)構(gòu)進行分析,發(fā)現(xiàn)相遇庫所對飽和就會使系統(tǒng)進入相遇狀態(tài),從而造成死鎖。當(dāng)...

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

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

【文章目錄】：
摘要
ABSTRACT
符號對照表
縮略語對照表
第一章 緒論
    1.1 研究背景
    1.2 國內(nèi)外發(fā)展現(xiàn)狀
    1.3 研究意義
    1.4 論文結(jié)構(gòu)
第二章 Petri網(wǎng)基本理論及子類
    2.1 Petri網(wǎng)的基本概念
        2.1.1 多集
        2.1.2 Petri網(wǎng)的基本定義
        2.1.3 結(jié)構(gòu)不變式
        2.1.4 信標(biāo)與陷阱
        2.1.5 可達圖
    2.2 S³PR網(wǎng)與LS³PR網(wǎng)
    2.3 本章小結(jié)
第三章 雙進程S³PR網(wǎng)模型及其控制規(guī)律
    3.1 雙進程S³PR網(wǎng)及其控制規(guī)律
        3.1.1 雙進程S³PR網(wǎng)及相遇狀態(tài)
        3.1.2 資源庫所初始標(biāo)識都是1的控制規(guī)律
        3.1.3 資源庫所初始標(biāo)識都是2的控制規(guī)律
    3.2 控制庫所合并
    3.3 本章小結(jié)
第四章 US³PR網(wǎng)控制規(guī)律
    4.1 雙進程US³PR網(wǎng)控制規(guī)律
        4.1.1 US³PR網(wǎng)
        4.1.2 雙進程US³PR網(wǎng)及其活性分析
        4.1.3 雙進程US³PR網(wǎng)的控制規(guī)律
    4.2 α-網(wǎng)及其活性分析
        4.2.1 α-網(wǎng)
        4.2.2 α-網(wǎng)活性分析
    4.3 本章小結(jié)
第五章 雙進程S³PR網(wǎng)生產(chǎn)效率研究
    5.1 自動制造系統(tǒng)的雙進程S³PR網(wǎng)模型
    5.2 雙進程S³PR網(wǎng)模型生產(chǎn)效率分析
    5.3 本章小結(jié)
第六章 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
參考文獻
致謝
作者簡介



本文編號：3997189