本文結合了面向對象和Petri 網兩種建模方法的優點，提出了一種新的面向對象Petri 網的建模方法。主要研究了面向對象Petri 網方法在嵌入式系統設計中的具體應用，并通過實驗對該方法進行了正確性論證以及資源分配情況的定量分析。該方法為嵌入式系統的設計提出了一種行之有效的形式化分析方法，使得復雜的嵌入式系統描述更加模塊化，具
有可重用性，大大提高了嵌入式系統建模和分析的效率。
關鍵詞：OOPN；嵌入式系統；Petri 網；建模
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