A Petri Net Based Model for Heterogeneous Embedded Systems
17th IEEE NORCHIP Conference, Oslo, Norway, November 8-9, 1999, pp. 248-255.
Design of embedded systems must be based on formal representations so that the synthesis process can be carried out systematically. We present PRES, a Petri net based model suited to embedded systems. It can represent several levels of detail using the feature of hierarchical decomposition. This model also includes an explicit notion of time. In PRES tokens hold information and transitions, when fired, perform transformation of data. Concurrency and sequential behavior might be naturally represented in PRES. The representation is formally defined and an example explains different concepts and the semantics of the model.
|NC99.pdf||Adobe Acrobat portable document|
|NC99.ps.gz||postscript document, compressed (with gzip)|
Copyright note for papers published by the IEEE Computer Society:
Copyright IEEE. Personal use of this material is permitted. However,
permission to reprint/republish this material for advertising or
promotional purposes or for creating new collective works for resale
or redistribution to servers or lists, or to reuse any copyrighted
component of this work in other works, must be obtained from the IEEE.
[AEP99] Luis Alejandro Cortes, Petru Eles, Zebo Peng, "A Petri Net Based Model for Heterogeneous Embedded Systems", 17th IEEE NORCHIP Conference, Oslo, Norway, November 8-9, 1999, pp. 248-255.