A Petri Net based Model for Heterogeneous Embedded Systems

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.

[1]  Kurt Jensen.  High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[2]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[3]  Joseph Sifakis.  Performance Evaluation of Systems Using Nets , 1979, Advanced Course: Net Theory and Applications.

[4]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[5]  Paulo Romero Martins Maciel,et al.  Capturing time constraints by using Petri-nets in the context of Hardware/Software codesign , 1996, Proceedings Seventh IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype.

[6]  Erik Stoy.  A Petri Net Based Unified Representation for Hardware/Software Co-Design , 1995 .

[7]  Wlodzimierz M. Zuberek,et al.  Hierarchies of place/transition refinements in Petri nets , 1996, Proceedings 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96.

[8]  G. Dittrich.  Modeling of complex systems using hierarchically represented Petri nets , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[9]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[10]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[11]  Jürgen Teich,et al.  CodeSign: an embedded system design environment , 1998 .

[12]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[13]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.