基于Ｐｅｔｒｉ網(wǎng)的動(dòng)態(tài)建模技術(shù)的研究
2004-04-29 00:00:00汪琳樂曉波
計(jì)算技術(shù)與自動(dòng)化 2004年2期
摘 要：Petri網(wǎng)是一種適合于描述異步并發(fā)現(xiàn)象的計(jì)算機(jī)系統(tǒng)模型。本文所提出的Petri網(wǎng)理論的分析方法和技術(shù)即可用于靜態(tài)的結(jié)構(gòu)分析，又可用于動(dòng)態(tài)的行為分析，最適合表示事件之間的并行性和自然相關(guān)性。本文利用一個(gè)典型實(shí)例對基于Petri網(wǎng)的動(dòng)態(tài)建模技術(shù)做了方法性的研究，并給出了動(dòng)態(tài)建模技術(shù)的一般方法。
關(guān)鍵詞：Petri網(wǎng)；并行；動(dòng)態(tài)建模
中圖分類號(hào)：TP301
文獻(xiàn)標(biāo)識(shí)碼：A
