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

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

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

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