一种用于嵌入式系统建模的扩展PRES网

• 作者: 刘森 慕春棣
• 来源期刊: 清华大学学报（自然科学版）
• 学科: 工学
• 关键词: 嵌入式系统 建模 Petri网 EPRES
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 自动化
• 页码范围: 490-493
• 页数: 4页
• 分类号: TP311
• 语种: 中文

摘要

在嵌入式系统设计前期需要对系统建立适当的形式化模型并进行仿真分析.该文在分析现有Petri网模型的基础上,提出了一种EPRES(extended Petri net based on representation for embedded system)模型,并具体给出了相应的结构定义、图形表示和行为规则.EPRES将库所分为控制库所和数据库所两类,引入变迁函数和变迁时延,可以对嵌入式系统的功能实现、资源消耗和时间约束进行描述和仿真分析.给出的使用EPRES对嵌入式系统建模的实例表明,该方法能够较好地解决嵌入式系统的建模问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	慕春棣		69	1153	16.0	32.0
2	刘森		14	153	6.0	12.0