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