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

【文章頁數】：80 頁

【學位級別】：碩士

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



本文編號：3997189