隨機(jī)Petri網(wǎng)可視化分析軟件系統(tǒng)的設(shè)計(jì).pdf

1、近來,隨機(jī)Petri網(wǎng)已成為研究離散事件動(dòng)態(tài)系統(tǒng)的一種有力工具,特別是在性能評(píng)價(jià)領(lǐng)域取得了顯著的成功.而計(jì)算機(jī)輔助軟件是隨機(jī)Petri網(wǎng)理論研究和應(yīng)用必備的工作環(huán)境,該文針對(duì)國(guó)內(nèi)外隨機(jī)Petri網(wǎng)相關(guān)軟件的現(xiàn)狀以及當(dāng)前利用隨機(jī)Petri網(wǎng)進(jìn)行系統(tǒng)性能分析的實(shí)際需要,設(shè)計(jì)開發(fā)了隨機(jī)Petri網(wǎng)可視化分析軟件系統(tǒng)——SPNAnalyzer.首先,該文詳細(xì)論述了基本Petri網(wǎng)、馬爾可夫隨機(jī)過程以及隨機(jī)Petri網(wǎng)的相關(guān)理論,并結(jié)合一個(gè)具體的

2、多處理器系統(tǒng)說明了隨機(jī)Petri網(wǎng)在系統(tǒng)性能分析中的應(yīng)用.然后,該文在對(duì)SPNAnalyzer軟件系統(tǒng)進(jìn)行功能需求分析的基礎(chǔ)上,設(shè)計(jì)了系統(tǒng)的總體框架結(jié)構(gòu),進(jìn)而在Visual C++6.0開發(fā)環(huán)境下利用面向?qū)ο蟮姆治龊驮O(shè)計(jì)方法實(shí)現(xiàn)了系統(tǒng)各個(gè)模塊的功能.SPNAnalyzer軟件系統(tǒng)具有非常友好的人機(jī)交互界面,使可視化的隨機(jī)Petri網(wǎng)建模變得非常直觀方便;將各種Windows消息的響應(yīng)和處理延伸至圖形工具模塊,使系統(tǒng)的維護(hù)變得容易;元素對(duì)