【摘要】： 柔性制造系統(tǒng)對(duì)有限資源的競(jìng)爭(zhēng)會(huì)產(chǎn)生死鎖現(xiàn)象。Petri網(wǎng)作為一種分析工具,可以有效地為柔性制造系統(tǒng)建模、分析并解決死鎖問(wèn)題�；谛艠�(biāo)理論的死鎖預(yù)防策略是Petri網(wǎng)死鎖預(yù)防策略的研究方向之一,該策略為網(wǎng)模型中每一個(gè)嚴(yán)格極小信標(biāo)添加控制庫(kù)所和連接弧。理論上網(wǎng)模型中的信標(biāo)個(gè)數(shù)與網(wǎng)規(guī)模成指數(shù)關(guān)系,網(wǎng)規(guī)模越大,信標(biāo)的個(gè)數(shù)就會(huì)激增,從而導(dǎo)致添加了過(guò)多的控制庫(kù)所和連接弧。本文針對(duì)Petri網(wǎng)的子類S~3PR網(wǎng)研究了其死鎖預(yù)防問(wèn)題,提出一種算法,該算法不僅能夠減少網(wǎng)系統(tǒng)中控制庫(kù)所的個(gè)數(shù)并且能夠使網(wǎng)系統(tǒng)得到更多的許可行為。 基于Petri網(wǎng)和信標(biāo)理論,嚴(yán)格極小信標(biāo)可分成基本信標(biāo)和從屬信標(biāo)。對(duì)基本信標(biāo)和從屬信標(biāo)采用不同的控制策略。對(duì)是否含有中心資源(center resource)的從屬信標(biāo)加以區(qū)分,不同從屬信標(biāo)采用不同的控制方法,使原網(wǎng)中的所有嚴(yán)格極小信標(biāo)均不會(huì)被清空,新產(chǎn)生的嚴(yán)格極小信標(biāo)不會(huì)影響網(wǎng)系統(tǒng)的活性。最后利用隱式庫(kù)所特性對(duì)受控網(wǎng)系統(tǒng)進(jìn)行化簡(jiǎn)。 本文所提算法能夠得到結(jié)構(gòu)更為簡(jiǎn)單,狀態(tài)數(shù)更多的活的網(wǎng)系統(tǒng)。最后,我們利用本死鎖預(yù)防策略對(duì)FMS實(shí)例進(jìn)行分析和驗(yàn)證,顯示出了該算法的優(yōu)越性。
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2009
【分類號(hào)】：TH165

【引證文獻(xiàn)】

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

1 毛金波;基于有色Petri網(wǎng)的自動(dòng)化立體倉(cāng)庫(kù)的建模研究[D];西安科技大學(xué);2012年

本文編號(hào)：2752028