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

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

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

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