發(fā)布時間：2020-07-12 13:32

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

【引證文獻】

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

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

本文編號：2752028