Modelling aspects of system level design

摘要

The necessity for a common modeling approach for heterogeneousnsystems is discussed. As an example for such a modeling technique,nextended predicate/transition nets (Pr/T-Nets) are introduced. Thesennets can combine modeling in a declarative way by means of first ordernlogic with an operational interpretation inherited from Petri nets. Thenadded concepts of hierarchy and recursion allow the description ofnextremely complex systems. Three applications of Pr/T-Nets are shown:ncontrol of complex design systems, timing analysis, and thenimplementation of communication protocols