目前,柔性制造系統(tǒng)（FMSs）廣泛應(yīng)用于生產(chǎn)制造業(yè)中。在一個(gè)柔性制造系統(tǒng)中,不同進(jìn)程利用有限系統(tǒng)資源去完成各式各樣的工作。在這種情況下,如果系統(tǒng)資源沒有得到適當(dāng)分配,可能會(huì)導(dǎo)致死鎖發(fā)生。死鎖的發(fā)生是由于一些進(jìn)程持續(xù)等待系統(tǒng)資源被其它進(jìn)程所釋放。死鎖不僅意味著系統(tǒng)阻塞和效率的降低,而且可能會(huì)造成災(zāi)難性后果。Petri網(wǎng)作為一種柔性制造系統(tǒng)建模、分析和控制的重要工具,被廣泛使用�；赑etri網(wǎng)模型的死鎖控制,通常是通過添加一組控制庫所給系統(tǒng)添加必要約束的方式來實(shí)現(xiàn)。Petri網(wǎng)死鎖控制的優(yōu)勢(shì)表現(xiàn)為,添加控制器可以通過線下靜態(tài)方法獲得。因此,基于Petri模型提出了多種死鎖控制方法�；赑etri網(wǎng)的死鎖控制方法可以分為兩類:結(jié)構(gòu)分析和可達(dá)圖分析。前者通常對(duì)具有特殊結(jié)構(gòu)的Petri網(wǎng)模型比較有效,比如信標(biāo)和資源回路。但是,這種方法通常會(huì)產(chǎn)生合法狀態(tài)丟失。后者一般能夠得到最優(yōu)或者接近最優(yōu)的控制器,但是需要枚舉出系統(tǒng)所有的可達(dá)狀態(tài)。因此,后者在復(fù)雜系統(tǒng)中不得不面臨狀態(tài)爆炸的問題。本文主要提出了兩種有效的死鎖控制方法,能夠在復(fù)雜系統(tǒng)中得到一組最優(yōu)控制器。其主要研究內(nèi)容如下:1,先前對(duì)于復(fù)雜系統(tǒng)的... 

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

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

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

【文章目錄】：
ABSTRACT
摘要
List of Symbols
List of Abbreviations
Chapter 1 Introduction
    1.1 Deadlock in Flexibly Manufacturing Systems
    1.2 Deadlock Control Based on Petri Net in FMSs
    1.3 Thesis Organization
Chapter 2 Preliminaries
    2.1 Basics of Petri Nets
    2.2 Structural Analysis
    2.3 Reachability Analysis
    2.4 Control Place Synthesis Method by PI
    2.5 Conclusion
Chapter 3 Synthesis of Liveness-Enforcing Supervisors Based on a TGAL Approachand Vector Covering
    3.1 Control Place Computation
        3.1.1 Optimal Control Place Synthesis
        3.1.2 Vetcor Covering Approach for Place Invariant Control
    3.2 TGAL and TGALW Approach
    3.3 Deadlock Prevention Policy
    3.4 Experimental Results
    3.5 Conclusion
Chapter 4 Design of Maximally Permissive Liveness-Enforcing Supervisors Basedon TGAL Approach and Vector Covering
    4.1 Synthesis of M-related Super Succeed Markings
    4.2 Deadlock Prevention Policy
    4.3 Experimental Results
    4.4 Conclusion
Chapter 5 Conclusion and Future Work
References
Acknowledgements
Biography



本文編號(hào)：3619019