嵌入式系统协同设计中的扩展双变迁Petri网技术
Extended Dual Transitions Petri Net Technology for Embedded Systems Co-design作者机构:桂林电子工业学院计算机系桂林541004
出 版 物:《计算机工程》 (Computer Engineering)
年 卷 期:2005年第31卷第2期
页 面:198-201页
核心收录:
学科分类:081203[工学-计算机应用技术] 08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:广西十百千人才专项基金资助项目 广西跨世纪人才基金资助项目
主 题:Petri网 嵌入式系统 数据操作 软硬件协同设计 扩展 描述 实例 技术 变迁 基础
摘 要:在分析现有用于软硬件协同设计的Petri网技术的基础上,针对双变迁Petri网在描述数据操作方面存在的不足,给出了一种扩展双变迁Petri网,并结合实例进行了阐述。