A Petri Net based Model for Heterogeneous Embedded Systems

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… (More)

Topics

3 Figures and Tables

Cite this paper

@inproceedings{Corts1999APN, title={A Petri Net based Model for Heterogeneous Embedded Systems}, author={Luis Alejandro Cort{\'e}s and Petru Eles and Zebo Peng}, year={1999} }