| 一种用于嵌入式系统建模的扩展PRES网 |
| |
| 引用本文： | 刘森,慕春棣.一种用于嵌入式系统建模的扩展PRES网[J].清华大学学报(自然科学版),2009(4). |
| |
| 作者姓名： | 刘森 慕春棣 |
| |
| 作者单位： | 清华大学自动化系; |
| |
| 基金项目： | 高等学校博士学科点专项科研基金项目(20060003015) |
| |
| 摘 要： | 在嵌入式系统设计前期需要对系统建立适当的形式化模型并进行仿真分析。该文在分析现有Petri网模型的基础上,提出了一种EPRES(extended Petri net based onrepresentation for embedded system)模型,并具体给出了相应的结构定义、图形表示和行为规则。EPRES将库所分为控制库所和数据库所两类,引入变迁函数和变迁时延,可以对嵌入式系统的功能实现、资源消耗和时间约束进行描述和仿真分析。给出的使用EPRES对嵌入式系统建模的实例表明,该方法能够较好地解决嵌入式系统的建模问题。
|
| 关 键 词： | 嵌入式系统 建模 Petri网 EPRES |
Petri net EPRES for embedded system modeling |
| |
| LIU Sen,MU Chundi.Petri net EPRES for embedded system modeling[J].Journal of Tsinghua University(Science and Technology),2009(4). |
| |
| Authors: | LIU Sen MU Chundi |
| |
| Institution: | Department of Automation;Tsinghua University;Beijing 100084;China |
| |
| Abstract: | Improved models are needed for simulation analyses during the prophase of embedded system designs.This paper pres-ents the structural definition,graphical representation and behavior-al rules for Petri net extended Petri net based on representation for embedded system(EPRES) model.The model uses both control places and data places with a transition function and transition time delay.Then the EPRES model can specify and analyze the function realization,resource consumption,and time constraint.An example EPRE... |
| |
| Keywords: | embedded system model Petri net EPRES |
| 本文献已被 CNKI 等数据库收录！ |
