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

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

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