摘要： 在分析现有用于软硬件协同设计的Petri网技术的基础上,针对双变迁Petri网在描述数据操作方面存在的不足,给出了一种扩展双变迁Petri网,并结合实例进行了阐述。

关键词: 嵌入式系统, Petri网, 协同设计

Abstract: This paper analyzes the current Petri net models for hardware/software co-design. The dual transitions Petri net model is extended so as to represent the data operations properly. An example is presented to illustrate the applicability and efficiency of the model.

中图分类号: 

• TP311