摘 要：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í)例對(duì)基于Petri網(wǎng)的動(dòng)態(tài)建模技術(shù)做了方法性的研究，并給出了動(dòng)態(tài)建模技術(shù)的一般方法。

關(guān)鍵詞：Petri網(wǎng)；并行；動(dòng)態(tài)建模

中圖分類(lèi)號(hào)：TP301

文獻(xiàn)標(biāo)識(shí)碼：A