基于基本信標的FMS死鎖預防.pdf

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

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