基于基本信標(biāo)的FMS死鎖預(yù)防.pdf

1、本文針對(duì)Petri網(wǎng)的子類提出了一種新的建立控制器的方法,這種方法可以很好地建?？刂圃S多柔性制造系統(tǒng).在以前所做的工作中,我們要算出一個(gè)Petri網(wǎng)中所有的嚴(yán)格極小信標(biāo),然后把它們分為基本信標(biāo)和從屬信標(biāo)再設(shè)計(jì)相應(yīng)的控制器.但這種方法遇到較大的網(wǎng)系統(tǒng)時(shí),不僅花費(fèi)的時(shí)間長(zhǎng)而且不易得到理想的結(jié)果.通常情況下,基本信標(biāo)的個(gè)數(shù)比嚴(yán)格極小信標(biāo)的個(gè)數(shù)少的多,而且基本信標(biāo)的個(gè)數(shù)不會(huì)超過(guò)網(wǎng)系統(tǒng)庫(kù)所個(gè)數(shù)和變遷個(gè)數(shù)的最小值.針對(duì)Petri的一個(gè)子類,本文提出

2、了一種直接求取網(wǎng)系統(tǒng)基本信標(biāo)的方法,這種方法不需要計(jì)算出所有的嚴(yán)格極小信標(biāo).對(duì)于每一個(gè)基本信標(biāo),我們給網(wǎng)系統(tǒng)添加一個(gè)控制庫(kù)所使其成為不變式可控.我們的方法可以保證添加控制庫(kù)所后,不會(huì)再產(chǎn)生可被清空的信標(biāo).當(dāng)所有的基本信標(biāo)都是可控之后,從屬信標(biāo)的可控性由與之相關(guān)的基本信標(biāo)的可控性來(lái)保證,并用混合整數(shù)規(guī)劃法進(jìn)行驗(yàn)證.與現(xiàn)有的死鎖控制方法相比,我們這種新的死鎖預(yù)防策略不但提出了一種新的信標(biāo)求取的方法,而且通過(guò)添加少量的控制庫(kù)所和弧就可以得到一