Petri網(wǎng)分析軟件設(shè)計(jì)與實(shí)現(xiàn).pdf

1、近年來(lái)，Petri網(wǎng)理論開始應(yīng)用于各種測(cè)試系統(tǒng)的建模分析之中，如航空發(fā)動(dòng)機(jī)的壓力測(cè)試系統(tǒng)建模分析，由于航空實(shí)驗(yàn)的特殊性，壓力測(cè)試需要測(cè)量的測(cè)試點(diǎn)很多，測(cè)試系統(tǒng)復(fù)雜，所以建立的Petri網(wǎng)模型也比較復(fù)雜。
　　隨著Petri網(wǎng)結(jié)構(gòu)的復(fù)雜化，傳統(tǒng)的手工分析與計(jì)算已經(jīng)不能適應(yīng)實(shí)際系統(tǒng)的分析需要，因而大力開發(fā)Petri網(wǎng)建模軟件工具，對(duì)于深化與擴(kuò)展Petri網(wǎng)的應(yīng)用和發(fā)展很有幫助。本文針對(duì)國(guó)內(nèi)外 Petri網(wǎng)建模與分析軟件的現(xiàn)狀以及測(cè)試系

2、統(tǒng)中Petri網(wǎng)進(jìn)行系統(tǒng)性能分析的實(shí)際需要，借助于可視化開發(fā)環(huán)境Visua1 Studio2010與C＃4.0編程語(yǔ)言，設(shè)計(jì)開發(fā)了Petri網(wǎng)建模分析軟件工具。
　　首先，本文詳細(xì)論述了Petri網(wǎng)基本理論，包括Petri網(wǎng)的定義與運(yùn)行規(guī)則、Petri網(wǎng)的基本性質(zhì)和Petri網(wǎng)分析方法。
　　然后，本文對(duì)Petri網(wǎng)建模軟件進(jìn)行了需求分析，并設(shè)計(jì)了軟件的整體框架，進(jìn)而確定了在.NET4.0框架類庫(kù)下，利用C＃語(yǔ)言實(shí)現(xiàn)Petr

3、i網(wǎng)建模軟件工具的設(shè)計(jì)方案。本軟件具有良好的人機(jī)交互界面，用戶可以通過(guò)設(shè)置輸入?yún)?shù)來(lái)實(shí)現(xiàn) Petri網(wǎng)模型的圖形化、生成Petri網(wǎng)運(yùn)行過(guò)程狀態(tài)表、可達(dá)樹和Petri網(wǎng)模型的性能分析與計(jì)算等工作。在生成狀態(tài)運(yùn)行過(guò)程表當(dāng)中，用到了隊(duì)列 Queue、字典集合Dictionary和列表List等泛型集合類，同時(shí)利用圖的廣度優(yōu)先搜索算法實(shí)現(xiàn)了運(yùn)行狀態(tài)過(guò)程表；基于運(yùn)行狀態(tài)表，生成了 Petri網(wǎng)模型的可達(dá)樹。隨后，實(shí)現(xiàn)了對(duì)基本Petri網(wǎng)，時(shí)間P