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

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

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

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

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