基于增廣Petri網(wǎng)的協(xié)作系統(tǒng)及混惑消除.pdf

1、Petri網(wǎng)是一種形式化、圖形化的系統(tǒng)建模、描述和分析工具。對(duì)于具有異步并發(fā)、分布、不確定性和隨機(jī)性的系統(tǒng)，都可以利用這種工具構(gòu)建模型，然后對(duì)其進(jìn)行分析，即可得到系統(tǒng)靜態(tài)結(jié)構(gòu)和動(dòng)態(tài)行為方面的信息。Petri網(wǎng)既有直觀的圖形表示，又有深刻的數(shù)學(xué)內(nèi)涵和基礎(chǔ)。 Petri網(wǎng)的并發(fā)不確定性在描述具體問題時(shí)常會(huì)有一些不便，究其原因在于它不能準(zhǔn)確地檢測(cè)出庫所中特定的標(biāo)識(shí)。為此，網(wǎng)人在原型Petri網(wǎng)中引入禁止?。↖nhibitor arc

2、）和容許?。≒ermissive arc），得到一類增廣Petri網(wǎng)-禁止?。苋菰S弧網(wǎng)。 現(xiàn)實(shí)中的系統(tǒng)往往具有并發(fā)和不確定性，任務(wù)的復(fù)雜程度在時(shí)間或空間上超越了單個(gè)主體的能力，僅靠單個(gè)主體的實(shí)現(xiàn)是不可能的，所以多主體協(xié)作成為必不可少的行為。傳統(tǒng)的協(xié)作系統(tǒng)模型往往在任務(wù)分配時(shí)十分復(fù)雜，沒有考慮任務(wù)的分級(jí)與處理的公平性，一旦出現(xiàn)局部故障，缺少相應(yīng)的恢復(fù)機(jī)制。 本文不考慮中心控制的情況，使用帶禁止/容許弧的增廣Petri網(wǎng)構(gòu)建

3、了一類具有中斷處理功能、可實(shí)現(xiàn)任務(wù)轉(zhuǎn)移和故障恢復(fù)的協(xié)同控制系統(tǒng)，并利用結(jié)構(gòu)分析、分塊建模等技術(shù)，對(duì)系統(tǒng)的主要行為特征進(jìn)行了較深入細(xì)致的研究。隨后對(duì)模型進(jìn)行了驗(yàn)證，表明該模型具有主體協(xié)作能力，能夠兼顧系統(tǒng)的任務(wù)分級(jí)和處理的高效、公平性，在局部處理異常時(shí)能實(shí)現(xiàn)任務(wù)的轉(zhuǎn)移和故障恢復(fù)。 在Petri網(wǎng)中，并發(fā)和沖突是普遍存在的。并發(fā)和沖突混合在一起的現(xiàn)象稱作混惑。系統(tǒng)中出現(xiàn)沖突之處正是系統(tǒng)環(huán)境對(duì)系統(tǒng)進(jìn)行控制的地方，但若應(yīng)用系統(tǒng)中出現(xiàn)混惑