基于OOPN的嵌入式系统的建模研究与实现

本文结合了面向对象和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