FMS是具有高度復(fù)雜性的系統(tǒng)，易發(fā)生故障。需建立能描述故障的Petri網(wǎng)模型，以便分析系統(tǒng)特性，選擇合適的控制方法．ES~3PR網(wǎng)是Petri網(wǎng)的一個子類，可以為一大類FMS建模，代表性很強。設(shè)備故障可發(fā)生在工件正在加工和加工前。在ES~3PR網(wǎng)的基礎(chǔ)上分別對上述兩種類型故障建模，用故障庫所、故障變遷和恢復(fù)變遷描述設(shè)備故障、修復(fù)以及重新投入工作的整個過程，可得到ES~3PRF-Ⅰ網(wǎng)和ES~3PRF-Ⅱ網(wǎng)．將兩種情況綜合考慮，可得到ES~3PRF-Ⅲ網(wǎng)。 設(shè)備故障導(dǎo)致資源減少，加劇了共享資源的競爭，會導(dǎo)致系統(tǒng)發(fā)生死鎖。本文對此提出預(yù)防算法：首先添加控制庫所保證原網(wǎng)系統(tǒng)中的基本信標(biāo)P-不變式控制。然后通過調(diào)整基本信標(biāo)的控制深度ξ保證從屬信標(biāo)也不會被清空。此算法只對基本信標(biāo)添加控制庫所，且不需要多次迭代使用。減少了對原網(wǎng)系統(tǒng)行為的限制，增加了網(wǎng)系統(tǒng)的可達狀態(tài)，簡化了控制策略。
【學(xué)位單位】：西安電子科技大學(xué)
【學(xué)位級別】：碩士
【學(xué)位年份】：2005
【中圖分類】：TH165
【文章目錄】：
第一章 緒論
    1.1 研究背景與意義
    1.2 本文完成的主要工作
第二章 Petri網(wǎng)的基本概念
    2.1 Petri網(wǎng)的基本理論
    2.2 FMS的Petri網(wǎng)模型
    2.3 實例分析
    2.4 小結(jié)
3PR網(wǎng)模型'>第三章 ES³PR網(wǎng)模型
3PR網(wǎng)的基本概念'>    3.1 ES³PR網(wǎng)的基本概念
3PR的實例'>    3.2 ES³PR的實例
    3.3 小結(jié)
第四章 Petri網(wǎng)的基本信標(biāo)理論
    4.1 基本信標(biāo)與從屬信標(biāo)
    4.2 從屬信標(biāo)的可控條件
    4.3 小結(jié)
3PR網(wǎng)的故障建模'>第五章 ES³PR網(wǎng)的故障建模
    5.1 經(jīng)典的故障建模建模方法
3PR網(wǎng)的故障建模'>    5.2 ES³PR網(wǎng)的故障建模
3PRF網(wǎng)的活性分析'>    5.3 ES³PRF網(wǎng)的活性分析
3PRF網(wǎng)的進一步改進'>    5.4 ES³PRF網(wǎng)的進一步改進
    5.5 小結(jié)
3PRF網(wǎng)的死鎖預(yù)防算法'>第六章 ES³PRF網(wǎng)的死鎖預(yù)防算法
    6.1 兩種經(jīng)典的預(yù)防預(yù)防方法
    6.2 基于基本信標(biāo)的死鎖預(yù)防策略
    6.3 死鎖預(yù)防策略的分析
    6.4 小結(jié)
第七章 死鎖控制應(yīng)用舉例
    7.1 一個具體的FMS的故障建模及結(jié)構(gòu)分析
3PRF網(wǎng)的死鎖控制'>    7.2 對ES³PRF網(wǎng)的死鎖控制
    7.3 小結(jié)
結(jié)束語
致謝
參考文獻
在讀期間的研究成果

【相似文獻】

相關(guān)期刊論文 前10條

1 姜波;李洪義;謝煒;方斌;徐正喜;;基于Petri網(wǎng)的艦船綜合電力系統(tǒng)故障診斷方法[J];艦船科學(xué)技術(shù);2011年08期

2 施於人;代應(yīng);;eEPC與Petri網(wǎng)在流程改進建模中的比較[J];重慶理工大學(xué)學(xué)報(自然科學(xué));2011年07期

3 汪勝榮;鄭連清;;一種能量高效的無線傳感器網(wǎng)絡(luò)分簇路由設(shè)計[J];大連海事大學(xué)學(xué)報;2011年03期

4 邵麗麗;;基于Petri網(wǎng)的電梯系統(tǒng)規(guī)格說明[J];長春大學(xué)學(xué)報;2011年06期

5 林惠標(biāo);焦志剛;;基于帶抑止弧Petri網(wǎng)的PLC梯形圖設(shè)計方法[J];機電工程技術(shù);2011年04期

6 尹文彬;許騰;侯博;蓋世昌;;艦載航空兵防空作戰(zhàn)指揮流程時間性能分析[J];火力與指揮控制;2011年06期

7 劉丙杰;劉勇志;黃岳;;基于克隆選擇算法的學(xué)習(xí)型Petri網(wǎng)及在潛在通路分析中的應(yīng)用[J];航天控制;2011年04期

8 曲長征;于永利;;裝備基本任務(wù)單元可用度Petri網(wǎng)仿真模型及應(yīng)用[J];系統(tǒng)工程與電子技術(shù);2011年06期

9 劉興林;陳行軍;孫光明;;基于Petri網(wǎng)的作戰(zhàn)計劃制定協(xié)作模型研究[J];計算機與數(shù)字工程;2011年07期

10 梁豐;張志利;高欽和;李向陽;;大型武器裝備故障建模與仿真技術(shù)研究[J];系統(tǒng)仿真學(xué)報;2011年S1期

相關(guān)博士學(xué)位論文 前10條

1 劉皓瑋;行車指揮系統(tǒng)的Petri網(wǎng)建模與列車運行調(diào)整的遺傳優(yōu)化的研究[D];鐵道部科學(xué)研究院;2000年

2 羅鵬程;基于Petri網(wǎng)的系統(tǒng)安全性建模與分析技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2001年

3 董利達;基于序狀Petri網(wǎng)的離散事件系統(tǒng)監(jiān)控理論[D];浙江大學(xué);2004年

4 王斌君;工作流過程模型的層次研究及其分析[D];西北大學(xué);2002年

5 薛雷;基于Petri網(wǎng)的集成電路柔性制造系統(tǒng)建模、分析及調(diào)度[D];西安電子科技大學(xué);2001年

6 周榮輔;基于先進制造技術(shù)的制造業(yè)生產(chǎn)流程再造研究[D];燕山大學(xué);2007年

7 王占中;基于Petri網(wǎng)的多式聯(lián)運流程優(yōu)化研究[D];吉林大學(xué);2007年

8 何豐;語義Web服務(wù)組合若干關(guān)鍵技術(shù)研究[D];東華大學(xué);2008年

9 鄭紅;分布式系統(tǒng)形式化建模技術(shù)研究[D];中國科學(xué)院研究生院（軟件研究所）;2003年

10 田世海;高技術(shù)虛擬企業(yè)信息系統(tǒng)平臺研究[D];哈爾濱理工大學(xué);2008年

相關(guān)碩士學(xué)位論文 前10條

1 丁偉;基于Petri網(wǎng)的柔性制造系統(tǒng)設(shè)備故障建模及死鎖預(yù)防[D];西安電子科技大學(xué);2005年

2 戴敬周;用Petri網(wǎng)對語義網(wǎng)絡(luò)歧義性和推理不確定性改進的探索[D];太原理工大學(xué);2002年

3 熊惠明;Petri網(wǎng)在FMS中的若干應(yīng)用研究[D];西安電子科技大學(xué);2004年

4 張國群;軟件項目開發(fā)中并行工程方法的過程建模的研究與應(yīng)用[D];南京理工大學(xué);2005年

5 秦巧妹;安陽供電公司業(yè)擴報裝流程再造研究[D];華北電力大學(xué)（北京）;2007年

6 潘德橋;基于UML-Petri網(wǎng)的艦載作戰(zhàn)系統(tǒng)信息流建模與分析[D];華中科技大學(xué);2006年

7 馬柯;企業(yè)項目管理信息系統(tǒng)及工作流技術(shù)的研究[D];西安電子科技大學(xué);2006年

8 胡輝;業(yè)務(wù)流程再造（BPR）理論與系統(tǒng)建模仿真研究[D];西安電子科技大學(xué);2005年

9 賀細平;基于Petri網(wǎng)的主動數(shù)據(jù)庫規(guī)則建模與行為分析[D];長沙理工大學(xué);2004年

10 余永佳;基于Petri網(wǎng)的項目管理、優(yōu)化和決策技術(shù)[D];南京理工大學(xué);2005年

本文編號：2889992