時(shí)間Petri網(wǎng)及其在仿真系統(tǒng)概念建模中的應(yīng)用.pdf

1、隨著建模仿真技術(shù)在各行各業(yè)中得到廣泛的應(yīng)用，Petri網(wǎng)作為一種圖形化的建模語(yǔ)言也受到越來(lái)越多的重視。時(shí)間Petri網(wǎng)概念的提出為離散時(shí)間仿真系統(tǒng)的動(dòng)態(tài)過(guò)程提供了準(zhǔn)確的描述手段，它不僅可以描述事件間異步、并發(fā)等邏輯關(guān)系，還可以反映事件時(shí)間層次的信息，是基本Petri網(wǎng)理論的功能擴(kuò)充。隨著仿真系統(tǒng)復(fù)雜性的增加，仿真概念模型的作用也越來(lái)越關(guān)鍵，對(duì)仿真系統(tǒng)概念模型的研究是建模仿真工作的首要任務(wù)。本文是按照從理論方法研究到工具設(shè)計(jì)實(shí)現(xiàn)，再到實(shí)例

2、應(yīng)用研究的順序，從以下三方面展開(kāi)討論。
　　首先，給出標(biāo)準(zhǔn)Petri網(wǎng)理論，詳細(xì)闡述標(biāo)準(zhǔn)Petri網(wǎng)定義、使能條件及激發(fā)計(jì)算。給出時(shí)間Petri網(wǎng)定義，提出變遷時(shí)間間隔分析方法和時(shí)間Petri網(wǎng)仿真算法，簡(jiǎn)單介紹變遷及激發(fā)時(shí)間的采樣方法，繼而給出時(shí)間Petri網(wǎng)仿真算法實(shí)現(xiàn)，提出實(shí)例進(jìn)行算法驗(yàn)證。
　　其次，進(jìn)行時(shí)間Petri網(wǎng)工具設(shè)計(jì)及實(shí)現(xiàn)。簡(jiǎn)單介紹Snoopy建模工具，對(duì)時(shí)間Petri網(wǎng)仿真工具進(jìn)行詳細(xì)設(shè)計(jì)并實(shí)現(xiàn)，包含模

3、型信息導(dǎo)出模塊、仿真算法實(shí)現(xiàn)模塊和仿真波形繪制模塊。該工具功能覆蓋模型建立及模型仿真的整個(gè)流程，論文利用該工具對(duì)接下來(lái)的應(yīng)用實(shí)例進(jìn)行研究。
　　最后，討論時(shí)間Petri網(wǎng)在仿真概念建模中的應(yīng)用。給出仿真概念模型組成及開(kāi)發(fā)過(guò)程，介紹仿真概念建模語(yǔ)言，詳細(xì)闡述時(shí)間Petri網(wǎng)概念建模方法。提出指揮控制系統(tǒng)應(yīng)用實(shí)例，建立指控系統(tǒng)的時(shí)間Petri網(wǎng)仿真概念模型，并對(duì)其進(jìn)行仿真分析。
　　綜上，本文在掌握標(biāo)準(zhǔn)Petri網(wǎng)理論，研究基本