NC99

A Petri Net Based Model for Heterogeneous Embedded Systems

Luis Alejandro Cortes Author homepage
 
Petru Eles Author homepage
Zebo Peng Author homepage

17th IEEE NORCHIP Conference, Oslo, Norway, November 8-9, 1999, pp. 248-255.

ABSTRACT
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.


Related files:
NC99.pdfAdobe Acrobat portable document
NC99.ps.gzpostscript 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.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)
Last modified on Monday December 04, 2006 by Gert Jervan