A.Petri網(wǎng)是對(duì)離散并行系統(tǒng)的數(shù)學(xué)表示 B.Petri網(wǎng)通常表達(dá)并發(fā)的事件 C.Petri網(wǎng)通常被描述為一張有向圖 D.Petri網(wǎng)中事件到來(lái)就被激發(fā)