An Extended Petri Net EPRES for Embedded System Modeling
An appropriate formal model should be established to perform simulation analysis in prophase of embedded system design. This paper analyzes the current Petri net models and presents an EPRES model which gives its structural definition,graphical representation and behavioral rules concretely. The places were extended to two types such as control places and data places in EPRES. Transition function and transition time delay were introduced. Then EPRES can specify and analyze the function realization,resource consumption and time constraint.Finally,an example of the EPRES representation of an embedded system is given to show that EPRES is suitable for embedded system modeling.
Sen Liu Chundi Mu
Department of Automation,Tsinghua University,Beijing 100084,China
国际会议
The Fifth IEEE International Symposium on Embedded Computing(SEC 2008)(第五届IEEE国际嵌入式系统计算会议)
北京
英文
9-13
2008-10-06（万方平台首次上网日期，不代表论文的发表时间）