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

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關博士學位論文 前10條

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

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

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

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

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

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

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

8 何豐;語義Web服務組合若干關鍵技術研究[D];東華大學;2008年

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

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

相關碩士學位論文 前10條

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

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

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

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

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

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

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

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

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

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

本文編號：2889992