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

【相似文獻(xiàn)】

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

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

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

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

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

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

6 王麗麗;吳哲輝;方歡;;標(biāo)識(shí)T-網(wǎng)中同步距離的計(jì)算[J];計(jì)算機(jī)科學(xué);2008年10期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：2646295