A、原型系統(tǒng)的積累 B、開發(fā)工作模型、模型驗(yàn)證 C、修正和改進(jìn) C、整理原型和提供文檔
A、獲得基本需求 B、開發(fā)工作模型 C、嚴(yán)格細(xì)致說明 C、模型驗(yàn)證
A、Petri網(wǎng)是對(duì)離散并行系統(tǒng)的數(shù)學(xué)表示 B、Petri網(wǎng)能夠表達(dá)并發(fā)的事件 C、Petri網(wǎng)通常被描述為一張有向圖 D、Petri網(wǎng)中事件到來就被激發(fā)