基于參數(shù)化網(wǎng)絡(luò)類的統(tǒng)一Petri網(wǎng)研究與應(yīng)用.pdf

1、基于參數(shù)化網(wǎng)絡(luò)類的統(tǒng)一Petri網(wǎng)的研究目的是解決紛繁復(fù)雜的Petri網(wǎng)類型給使用Petri網(wǎng)帶來的不便和基于這一理論的工具開發(fā)。本文以參數(shù)化統(tǒng)一Petri網(wǎng)理論為基礎(chǔ)，提出用代數(shù)規(guī)范理論來表示著色Petri網(wǎng)（CPN）的ML語言，完成了CPN的參數(shù)化表示；并根據(jù)這一理論，研究了Petri仿真工具的設(shè)計開發(fā)，使其不局限于特定的Petri網(wǎng)類型；最后以一個案例說明了該工具在工程應(yīng)用上的意義。文章首先闡述了幾種常見Petri網(wǎng)類型的形式化定

2、義，給出了參數(shù)化網(wǎng)絡(luò)類的表示方法，它包括集合論方法和范疇論方法；同時本文給出了帶有執(zhí)行規(guī)則的參數(shù)化網(wǎng)絡(luò)類的形式化定義，以支持網(wǎng)絡(luò)的仿真執(zhí)行。在參數(shù)化網(wǎng)絡(luò)類的理論基礎(chǔ)上，本文提出用代數(shù)規(guī)范理論實現(xiàn)CPN的實際參數(shù)表示，進一步完善了統(tǒng)一Petri網(wǎng)理論。本文的中間部分研究了統(tǒng)一Petri網(wǎng)理論的應(yīng)用之一——Petri網(wǎng)仿真工具的設(shè)計開發(fā)。該工具的總體設(shè)計思想采用MVC（Model-View-Controller）設(shè)計模式。本文的工具設(shè)計包括