Petri網(wǎng)死鎖迭代控制算法研究.pdf

1、迭代控制算法是一種Petri網(wǎng)死鎖預(yù)防方法?；镜目刂扑枷霝?，對(duì)于一個(gè)Petri網(wǎng)，求取可被清空的極小信標(biāo)，通過(guò)添加控制庫(kù)所，直至找不到可被清空的極小信標(biāo)或者檢測(cè)不到死狀態(tài)為止。但是，對(duì)于可被清空的信標(biāo)添加控制庫(kù)所，從而使原網(wǎng)受控，僅適用于普通網(wǎng)。由于柔性制造系統(tǒng)的Petri網(wǎng)模型進(jìn)行迭代控制的過(guò)程中得到的Petri網(wǎng)往往是一般網(wǎng)，所以對(duì)于一般網(wǎng)的控制策略的研究顯得尤為重要。
　　 本文對(duì)四種基于聯(lián)合標(biāo)識(shí)和極小信標(biāo)生成的現(xiàn)有的P

2、etri網(wǎng)迭代控制算法進(jìn)行了分析。由于這四種算法同時(shí)考慮信標(biāo)和狀態(tài)，因此通?？梢缘玫阶顑?yōu)的控制器。在對(duì)以上四種算法的最后一種算法--MESP-ISC改進(jìn)的基礎(chǔ)上，通過(guò)采用網(wǎng)轉(zhuǎn)化，得出了三種采用控制普通網(wǎng)的方法來(lái)控制一般網(wǎng)的迭代控制算法。在這些算法的實(shí)現(xiàn)過(guò)程中涉及到一般網(wǎng)向普通網(wǎng)的轉(zhuǎn)化及返回轉(zhuǎn)化問(wèn)題、聯(lián)合關(guān)鍵標(biāo)識(shí)的可被清空的極小信標(biāo)覆蓋集生成問(wèn)題、死鎖檢測(cè)問(wèn)題、冗余控制庫(kù)所的檢測(cè)及刪除問(wèn)題等。在這些問(wèn)題的解決過(guò)程中，大量使用到整數(shù)線性規(guī)劃