基于Petri网的嵌入式系统建模

被引：6

作者：

高燕

沈理

机构：

[1] 中科院计算技术研究所

来源：

关键词：

Petri网; 嵌入式系统; 控制信息; 数据信息;

D O I：

10.19304/j.cnki.issn1000-7180.2002.10.001

中图分类号：

TP391.9 [计算机仿真];

学科分类号：

080203 ;

摘要：

基于对传统Petri网结构的修改,文章提出了一种新的模型方式,并具体给出相应的结构定义,图形表示和行为规则。该方法实现了控制信息和数据信息的统一化表示,从而易于表示系统中的循环和条件操作。最后就嵌入式系统的描述举例说明。

引用

页码：1 / 3

页数：3