本文結(jié)合了面向?qū)ο蠛蚉etri 網(wǎng)兩種建模方法的優(yōu)點(diǎn)，提出了一種新的面向?qū)ο驪etri 網(wǎng)的建模方法。主要研究了面向?qū)ο驪etri 網(wǎng)方法在嵌入式系統(tǒng)設(shè)計中的具體應(yīng)用，并通過實(shí)驗(yàn)對該方法進(jìn)行了正確性論證以及資源分配情況的定量分析。該方法為嵌入式系統(tǒng)的設(shè)計提出了一種行之有效的形式化分析方法，使得復(fù)雜的嵌入式系統(tǒng)描述更加模塊化，具
有可重用性，大大提高了嵌入式系統(tǒng)建模和分析的效率。
關(guān)鍵詞：OOPN；嵌入式系統(tǒng)；Petri 網(wǎng)；建模
Abstract: In this paper ,a new Object-oriented Petri net modeling is presented with
both merits of Object-oriented modeling and Petri net modeling. This paper is mainly
about the application of OOPN on the embedded systems, the validity of the model
is proved based on the theories of OOPN by test, and the resource distribution of
the system is analyzed. It provides an effective formalization analysis method of
embedded control systems design ,which has properties such as reusability and
modularity. It greatly increases the efficiency of embedded systems modeling and
analysis.
Keywords: OOPN; Embedded Systems; Petri Net; Modeling