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.