论文部分内容阅读
为了有效的描绘规模较大的系统,需要一个分层机制,使模型可以有条理地构建。它由简单的单元组件构成,使得设计师在每个描述级上都可以很容易理解。提出并定义了用于形式化描述嵌入式系统建模的petri网的分层概念,显示了一个规模较大系统中的小部件如何使用层次的概念进行转换。该方法使得复杂的嵌入式系统描述更加模块化,具有可重用性,提高了嵌入式系统建模和分析的效率。通过一个实例表明了该方法的可行性。