Petri網(wǎng)可視化工具的設(shè)計(jì)及仿真.pdf

1、Petri網(wǎng)是一種圖形化的建模工具，由于其圖形建模的直觀性和分析理論的嚴(yán)謹(jǐn)性而被廣泛用于對離散事件動(dòng)態(tài)系統(tǒng)(DEDS)，如通信網(wǎng)絡(luò)系統(tǒng)、計(jì)算機(jī)系統(tǒng)、機(jī)械制造系統(tǒng)等進(jìn)行建模和分析。本文將面向?qū)ο蟮乃枷牒蚉etri網(wǎng)基本理論相結(jié)合，開發(fā)出Petri網(wǎng)可視化工具并對相應(yīng)的柔性制造系統(tǒng)(FMS)模型進(jìn)行仿真。PNT文件是一種保存Petri網(wǎng)信息的文件。本文對于給定的PNT文件，應(yīng)用面向?qū)ο笏枷牒虲Sharp語言編程工具在Microsoft Vi

2、sual Studio2008環(huán)境下開發(fā)了Petri網(wǎng)可視化工具。通過該工具可以建立離散事件動(dòng)態(tài)系統(tǒng)的Petri網(wǎng)模型以及加載相應(yīng)的3D模型，觀察Petri網(wǎng)模型的動(dòng)態(tài)運(yùn)行過程和3D模型的仿真過程。同時(shí)，可以加載顯示PNT文件信息并動(dòng)態(tài)地顯示當(dāng)前可發(fā)射變遷序列和當(dāng)前正在發(fā)射的變遷。
　　 本研究主要內(nèi)容包括：介紹了Petri網(wǎng)的基本理論知識(shí)和Direct3D開發(fā)技術(shù)以及四元數(shù)理論，還對國內(nèi)外相關(guān)Petri網(wǎng)軟件情況進(jìn)行闡述；重點(diǎn)