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

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

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

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