基于Petri網(wǎng)的制造系統(tǒng)可靠性分析及軟件設(shè)計.pdf

1、近來，隨機 Petri 網(wǎng)已經(jīng)成為研究離散事件動態(tài)系統(tǒng)的一種有力的工具，特別是在系統(tǒng)性能評價領(lǐng)域取得了顯著成功。關(guān)于隨機 Petri 網(wǎng)在離散制造系統(tǒng)領(lǐng)域的研究越來越多。計算機輔助軟件是隨機 Petri 網(wǎng)理論研究和應(yīng)用必備的工作環(huán)境，本文根據(jù)當前利用隨機 Petri 網(wǎng)進行制造系統(tǒng)性能分析的實際需要，設(shè)計開發(fā)了制造系統(tǒng)可靠性等性能分析的隨機 Petri 網(wǎng)分析軟件系統(tǒng)—Draw2。 首先，本文詳細論述了基本 Petri 網(wǎng)、

2、馬爾可夫隨機過程、隨機 Petri 網(wǎng)及其在制造系統(tǒng)可靠性等性能分析中的應(yīng)用等基本理論以及這些理論之間的聯(lián)系，這些也是本文進行軟件設(shè)計和實例分析的理論基礎(chǔ)。 然后，本文在對制造系統(tǒng)可靠性等性能分析軟件系統(tǒng)進行功能需求分析的基礎(chǔ)上，設(shè)計了系統(tǒng)的總體框架結(jié)構(gòu)，進而在 Visual C++6.0 開發(fā)環(huán)境下利用面向?qū)ο蟮姆治龊驮O(shè)計方法實現(xiàn)了系統(tǒng)各個模塊的功能。Draw2軟件系統(tǒng)具有非常友好的人機交互界面，使隨機 Petri 網(wǎng)建模變

3、得非常直觀方便；解決了隨機 Petri 網(wǎng)模型的可達集生成算法和同構(gòu)馬爾可夫鏈的構(gòu)造及其穩(wěn)定狀態(tài)概率的求解等關(guān)鍵技術(shù)；文件的使用使得數(shù)據(jù)的存儲和讀取都能夠很方便的實現(xiàn)。 另外，通過對隨機制造單元的建模以及性能分析驗證了軟件的正確性，生產(chǎn)流水線的建模以及性能分析驗證了 Draw2 軟件系統(tǒng)對于復(fù)雜、可修復(fù)制造系統(tǒng)所建有界隨機Petri網(wǎng)模型的適用性，通過對可達樹的分析可以判斷所建模型的有界性與安全性、活性等性質(zhì)，進而相應(yīng)地對制造