【摘要】：在自動化生產(chǎn)系統(tǒng)的實際運行過程中,可能會存在資源分配不當?shù)那闆r,使得系統(tǒng)陷入死鎖狀態(tài),進而導致系統(tǒng)無法運行,嚴重時會造成重大經(jīng)濟損失甚至是災(zāi)難。因此死鎖問題是自動化生產(chǎn)系統(tǒng)在設(shè)計之初就必須要考慮的和解決的問題。Petri網(wǎng)作為一種建模工具,在自動化生產(chǎn)系統(tǒng)的建模、分析等方面有著廣泛的應(yīng)用。而在死鎖的分析與控制方面,Petri網(wǎng)的死鎖控制方式可以分為兩類:基于可達圖的分析方式和基于結(jié)構(gòu)的分析方式。本文基于可達圖和基于結(jié)構(gòu)兩種分析方式,探討在改變S~3PR網(wǎng)初始標識的情況下,給網(wǎng)系統(tǒng)添加線性控制器,使得網(wǎng)系統(tǒng)獲得最大許可行為時,兩種方式需要的控制庫所數(shù)量與初始標識的關(guān)系。主要完成的工作有:1.在S~3PR網(wǎng)不含ξ資源時,介紹其最大許可行為控制器控制庫所數(shù)量與初始標識的關(guān)系,即無論是基于結(jié)構(gòu)還是基于可達圖的方式,最大許可行為控制器控制庫所數(shù)量都不會超過嚴格極小信標的個數(shù)。2.在已有ξ資源概念的基礎(chǔ)上,提出了雙元ξ資源的概念,并證明了S~3PR網(wǎng)在只含雙元ξ資源時,控制其嚴格極小信標不被清空就可得到最大許可行為控制器。這意味著無論使用哪種控制方式,其最大許可行為控制器控制庫所數(shù)量都不會超過嚴格極小信標個數(shù)。3.對ξ資源的概念進一步擴展,給出了單元ξ資源的定義,并證明了S~3PR網(wǎng)在不含單元ξ資源時,控制其嚴格極小信標不被清空就可得到最大許可行為控制器。隨后介紹了一種含有單元ξ資源的特殊情況,即活區(qū)標識集合是非凸的S~3PR網(wǎng),該網(wǎng)無法通過添加線性控制器的方式得到最大許可行為。
【學位授予單位】：西安電子科技大學
【學位級別】：碩士
【學位授予年份】：2019
【分類號】：TP13;TP301.1

【相似文獻】

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

1 高梅梅;吳智銘;;模糊時間Petri網(wǎng)及其時間推理方法[J];計算機科學;2000年07期

2 樂曉波,葛敬軍;自動制造系統(tǒng)設(shè)計和仿真中的死鎖控制[J];計算機工程;2005年04期

3 黃映輝;李冠宇;;高級Petri網(wǎng):基于ISO/IEC15909的理解[J];系統(tǒng)仿真學報;2007年S1期

4 段華;曾慶田;;S-網(wǎng)的進程表達式及求取方法研究[J];計算機科學;2006年10期

5 吳振寰;于楓;吳哲輝;;Petri網(wǎng)的空標識及相關(guān)性質(zhì)研究[J];計算機科學;2007年05期

6 王麗麗;吳哲輝;方歡;;標識T-網(wǎng)中同步距離的計算[J];計算機科學;2008年10期

7 段華;曾慶田;;T-網(wǎng)的活性分析及其判斷算法[J];小型微型計算機系統(tǒng);2005年12期

8 黃小煒;陸維明;;用于實現(xiàn)異步通信的一種模塊化Petri網(wǎng)[J];系統(tǒng)仿真學報;2007年S1期

9 蔣昌俊;Petri網(wǎng)的廣義笛積運算（Ⅱ）[J];山東礦業(yè)學院學報;1995年01期

10 郝克剛,張慧,侯紅;PETRI網(wǎng)工具——GPNT的設(shè)計與實現(xiàn)[J];軟件學報;1991年03期

相關(guān)會議論文 前2條

1 薛瑜;李承家;呂莉芳;;模糊Petri網(wǎng)與連續(xù)Petri網(wǎng)的關(guān)系[A];第九屆中國不確定系統(tǒng)年會、第五屆中國智能計算大會、第十三屆中國青年信息與管理學者大會論文集[C];2011年

2 高茜;邱經(jīng)華;;活的單支Petri網(wǎng)的一個可達性判定方法[A];計算機技術(shù)與應(yīng)用進展·2007——全國第18屆計算機技術(shù)與應(yīng)用（CACIS）學術(shù)會議論文集[C];2007年

相關(guān)博士學位論文 前1條

1 韋娜;基于無死鎖初始標識的Petri網(wǎng)控制器設(shè)計[D];西安電子科技大學;2008年

相關(guān)碩士學位論文 前5條

1 曾志鑫;S~3PR網(wǎng)線性控制器控制庫所數(shù)目與初始標識關(guān)系研究[D];西安電子科技大學;2019年

2 張琳婧;覆蓋并行目標的初始標識條件生成方法[D];內(nèi)蒙古大學;2018年

3 呂莉芳;Petri網(wǎng)的結(jié)構(gòu)性態(tài)分析及其形式描述[D];杭州電子科技大學;2012年

4 吳省身;開放環(huán)境下的自動信任協(xié)商研究[D];揚州大學;2009年

5 姚勛勛;基于Petri網(wǎng)的列車運行調(diào)度問題的研究[D];太原科技大學;2011年

，

本文編號：2646295