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