Title :
Modelling aspects of system level design
Author :
Rammig, Franz J.
Author_Institution :
Univ.-GH Paderborn, Germany
Abstract :
The necessity for a common modeling approach for heterogeneous systems is discussed. As an example for such a modeling technique, extended predicate/transition nets (Pr/T-Nets) are introduced. These nets can combine modeling in a declarative way by means of first order logic with an operational interpretation inherited from Petri nets. The added concepts of hierarchy and recursion allow the description of extremely complex systems. Three applications of Pr/T-Nets are shown: control of complex design systems, timing analysis, and the implementation of communication protocols
Keywords :
Petri nets; graph theory; hierarchical systems; high level synthesis; large-scale systems; logic design; modelling; protocols; timing; Petri nets; communication protocols; complex design systems; extended predicate/transition nets; extremely complex systems; heterogeneous systems; system level design; timing analysis; Algorithm design and analysis; Communication system control; Concurrent computing; Information analysis; Logic; Petri nets; Protocols; Software engineering; System-level design; Timing;
Conference_Titel :
Design Automation Conference, 1993, with EURO-VHDL '93. Proceedings EURO-DAC '93., European
Conference_Location :
Hamburg
Print_ISBN :
0-8186-4350-1
DOI :
10.1109/EURDAC.1993.410688
