Petri網(wǎng)建模工具軟件的研究與實(shí)現(xiàn).pdf

1、Petri網(wǎng)是德國(guó)學(xué)者C.A.Petri在他的博士論文“用自動(dòng)機(jī)通信”中提出來的。它適合描述具有并行行為或操作的系統(tǒng)。隨著Petri網(wǎng)近些年的不斷發(fā)展，Petri網(wǎng)的分析手段也越來越先進(jìn)，借助于計(jì)算機(jī)軟件技術(shù)的Petri網(wǎng)建模工具軟件應(yīng)運(yùn)而生。國(guó)內(nèi)外不少學(xué)者在Petri網(wǎng)建模工具軟件研究這一領(lǐng)域進(jìn)行了研究。 本文作者以Petri網(wǎng)的基本理論為依據(jù)，借助于面向?qū)ο蠹夹g(shù)，使用軟件工程的方法，在Petri網(wǎng)建模工具軟件研究與實(shí)現(xiàn)上做了

2、以下幾點(diǎn)工作： 1.以Petri網(wǎng)基本理論為基礎(chǔ)，用面向?qū)ο蟮乃枷耄瑢?duì)Petri網(wǎng)模型的運(yùn)行環(huán)境及其元素的靜態(tài)屬性和動(dòng)態(tài)行為作一般性的分析，給出庫(kù)所、變遷和連接弧對(duì)象的“對(duì)象模型”； 2.以Petri網(wǎng)基本理論中有關(guān)變遷行為的知識(shí)為基礎(chǔ)，將變遷的行為在時(shí)間軸上進(jìn)行擴(kuò)展，分析變遷的行為過程。變遷行為過程的分析，是PN模型動(dòng)態(tài)演示的關(guān)鍵技術(shù)； 3.對(duì)操作系統(tǒng)概念中的線程對(duì)象及其運(yùn)行環(huán)境作深刻的分析，在此基礎(chǔ)上發(fā)現(xiàn)線程

3、對(duì)象與變遷對(duì)象在行為上的相似性，并對(duì)這些相似作進(jìn)一步的研究分析，最終確定用線程對(duì)象仿真變遷的可行性；在可行前提下，提出用線程對(duì)象仿真變遷對(duì)象的技術(shù)； 4.在需求分析的基礎(chǔ)上，本文對(duì)建模工具軟件作了系統(tǒng)分析，提出一個(gè)多層的軟件系統(tǒng)模型。該軟件模型清楚的表達(dá)了本文實(shí)現(xiàn)的PN模型仿真機(jī)制。 在上述分析基礎(chǔ)上，作者將庫(kù)所、變遷和連接弧對(duì)象的“對(duì)象模型”和軟件的系統(tǒng)模型有機(jī)的結(jié)合在一起，使用軟件工程的方法，在Windows平臺(tái)上實(shí)

4、現(xiàn)了一個(gè)有著MDI圖形操作界面的軟件原型。該原型系統(tǒng)整合了模型輸入功能和動(dòng)態(tài)演示功能，使用它，用戶可以很方便的輸入一個(gè)PN模型，并可以對(duì)它進(jìn)行編輯、修改、存盤；借助它的動(dòng)態(tài)演示(仿真)功能，用戶可以很容易地、直觀地分析一個(gè)PN模型。 軟件實(shí)驗(yàn)表示，本文實(shí)現(xiàn)的軟件原型能夠?qū)⒁粋€(gè)PN模型的實(shí)際運(yùn)行情況正確并且高效地演示出來，效果非常好，這也進(jìn)一步說明了本文的理論分析結(jié)果是正確的。 該軟件原型目前適用于EN系統(tǒng)、P/T系統(tǒng)和時(shí)