發(fā)布時(shí)間：2022-01-23 18:59

　　系統(tǒng)可達(dá)狀態(tài)數(shù)通常隨著Petri網(wǎng)的規(guī)模呈指數(shù)級(jí)增長,所以Petri網(wǎng)的狀態(tài)組合爆炸問題,已成為Petri網(wǎng)應(yīng)用的重要瓶頸。因此,如何以較小的時(shí)間和空間,快速求解系統(tǒng)Petri網(wǎng)可達(dá)狀態(tài)集和嚴(yán)格極小信標(biāo)集對(duì)Petri網(wǎng)在較大規(guī)模系統(tǒng)中的應(yīng)用具有重要意義。嚴(yán)格極小信標(biāo)的求解對(duì)于死鎖的預(yù)防處理起關(guān)鍵作用。本文研究了二叉決策圖（BDD）在Petri網(wǎng)領(lǐng)域的相關(guān)應(yīng)用,提出了基于BDD快速求解Petri網(wǎng)嚴(yán)格極小信標(biāo)的方法,并優(yōu)化了可達(dá)集和極小信標(biāo)的求解算法。首先,本文針對(duì)現(xiàn)有基于BDD求解Petri網(wǎng)可達(dá)集的算法,存在單個(gè)變遷傳參和處理導(dǎo)致頻繁調(diào)用子函數(shù)的不足,提出了多個(gè)變遷集合化傳參與處理的方法,達(dá)到了大幅度減少子函數(shù)調(diào)用次數(shù)進(jìn)而加快對(duì)可達(dá)集的求解的目的。然后,鑒于現(xiàn)有的文獻(xiàn)中還沒有使用BDD求解嚴(yán)格極小信標(biāo)的方法,本文提出了基于BDD快速求解嚴(yán)格極小信標(biāo)的方法。該方法便于理解和實(shí)現(xiàn),直接使用BDD求解并處理Petri網(wǎng)的極小信標(biāo)和陷阱,從而獲得嚴(yán)格極小信標(biāo)。并且只需要較少的求解時(shí)間和存儲(chǔ)空間,且適用于大規(guī)模Petri網(wǎng)模型。另外,研究發(fā)現(xiàn)現(xiàn)有的基于BDD求解極小信標(biāo)的算法,在判斷信標(biāo)間包含... 

【文章來源】：南京理工大學(xué)江蘇省 211工程院校

【文章頁數(shù)】：65 頁

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
Abstract
1 緒論
    1.1 研究背景與意義
    1.2 相關(guān)技術(shù)研究進(jìn)展
        1.2.1 Petri網(wǎng)的發(fā)展
        1.2.2 BDD的發(fā)展和應(yīng)用
        1.2.3 死鎖的研究與處理
    1.3 本文主要研究內(nèi)容
    1.4 本文組織結(jié)構(gòu)安排
2 基本知識(shí)與概念
    2.1 Petri網(wǎng)基本知識(shí)
        2.1.1 Petri網(wǎng)的基本定義和性質(zhì)
        2.1.2 信標(biāo)與陷阱的基本定義和性質(zhì)
    2.2 布爾代數(shù)
    2.3 二叉決策圖
        2.3.1 二叉決策圖的定義
        2.3.2 二叉決策圖的壓縮規(guī)則
    2.4 本章小結(jié)
3 Petri網(wǎng)可達(dá)集的符號(hào)化求解
    3.1 可達(dá)集的基本概念
    3.2 標(biāo)識(shí)的符號(hào)化表示
    3.3 可達(dá)集求解算法研究
    3.4 可達(dá)集的求解實(shí)例
    3.5 本章小結(jié)
4 Petri網(wǎng)嚴(yán)格極小信標(biāo)的符號(hào)化求解
    4.1 極小信標(biāo)的符號(hào)化
        4.1.1 信標(biāo)和陷阱的符號(hào)化表示
        4.1.2 信標(biāo)的符號(hào)化求解
        4.1.3 極小信標(biāo)的符號(hào)化求解
    4.2 陷阱的符號(hào)化求解
    4.3 嚴(yán)格極小信標(biāo)的符號(hào)化求解
    4.4 本章小結(jié)
5 基于BDD符號(hào)化求解的實(shí)現(xiàn)
    5.1 Petri網(wǎng)嚴(yán)格極小信的標(biāo)求解流程
    5.2 求解Petri網(wǎng)相關(guān)結(jié)構(gòu)特征的仿真軟件
        5.2.1 基本結(jié)構(gòu)和使用
        5.2.2 軟件運(yùn)行函數(shù)描述
        5.2.3 軟件的輸入輸出
    5.3 嚴(yán)格極小信標(biāo)的求解實(shí)驗(yàn)
        5.3.1 S~3PR模型實(shí)驗(yàn)
        5.3.2 哲學(xué)家就餐問題實(shí)驗(yàn)
    5.4 本章小結(jié)
6 基于嚴(yán)格極小信標(biāo)的死鎖預(yù)防
    6.1 S~3PR模型死鎖的預(yù)防策略
    6.2 基于嚴(yán)格極小信標(biāo)的死鎖預(yù)防實(shí)驗(yàn)
    6.3 本章小結(jié)
7 總結(jié)與展望
    7.1 全文總結(jié)
    7.2 研究展望
致謝
參考文獻(xiàn)
附錄


【參考文獻(xiàn)】：
期刊論文
[1]基于BDD快速求解Petri網(wǎng)的陷阱和極小信標(biāo)[J]. 張加浪,黃波.  解放軍理工大學(xué)學(xué)報(bào)(自然科學(xué)版). 2017(03)
[2]安全Petri網(wǎng)事件分離狀態(tài)的BDD算法[J]. 陳玉峰,李志武.  西安電子科技大學(xué)學(xué)報(bào). 2010(01)
[3]Petri網(wǎng)的符號(hào)ZBDD可達(dá)樹分析技術(shù)[J]. 李鳳英,古天龍,徐周波.  計(jì)算機(jī)學(xué)報(bào). 2009(12)
[4]應(yīng)用Petri網(wǎng)的關(guān)聯(lián)矩陣求最小割集的新方法[J]. 武瀅,謝里陽,李進(jìn)冬.  中國機(jī)械工程. 2008(09)
[5]S3PR網(wǎng)的一種死鎖預(yù)防策略[J]. 閆明明,李志武,鐘春富.  西安電子科技大學(xué)學(xué)報(bào). 2008(02)
[6]UniNet Description of Dining Philosopher Problem[J]. DU Zhuomin1, HE Yanxiang1, ZHOU Guofu2 1. School of Computer, Wuhan University, Wuhan 430072, Hubei, China; 2. State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, Hubei, China.  Wuhan University Journal of Natural Sciences. 2007(06)
[7]基于面向?qū)ο笾悄躊etri網(wǎng)的FMS單元控制模型[J]. 高春華.  中國機(jī)械工程. 2001(05)
[8]布爾與布爾代數(shù)[J]. 黃耀樞.  自然辯證法研究. 1985(04)

碩士論文
[1]S4PR網(wǎng)的嚴(yán)格極小信標(biāo)計(jì)算及活性控制器優(yōu)化方法[D]. 徐姍姍.浙江大學(xué) 2012



本文編號(hào)：3604976