面向?qū)ο蟮腜RES網(wǎng)共享子網(wǎng)組合及應(yīng)用

摘要： 針對嵌入式系統(tǒng)建模問題，提出了一種經(jīng)由擴展Petri網(wǎng)共享子網(wǎng)得到組合網(wǎng)的解決方案。將面向?qū)ο蠹夹g(shù)與嵌入式系統(tǒng)的Petri網(wǎng)表示模型(PRES網(wǎng))融合，得到一種面向?qū)ο蟮腜RES網(wǎng)—OOPRES(object-oriented petri net based representation for embedded system)網(wǎng)。提出了一種OOPRES網(wǎng)共享子網(wǎng)組合操作方法，...