A formal model for coupling computer based system and physical systems

Mechatronic Systems

“…Let us now clarify how a Pr/T net works on the basis of a small example from [46], see Figure 3.4. On the left-hand side a piece of code is represented at the start of which some variables are initialised.…”

“…Let us now model such equations on the basis of Pr/T nets using the event-oriented modelling introduced in the previous section. A solution for linear differential equations on the basis of the Z transformation was proposed by Brielmann and Kleinjohann [46]. In what follows we will, however, predominantly consider nonlinear systems.…”

“…The strength of Pr/T networks lies in the effective consideration of parallel processes. Brielmann et al [46], [47], [48] and Kleinjohann et al [199] introduce methods for describing mechanics and other physical domains, plus the associated interfaces using the resources of the Pr/T networks. Such model transformations thus provide the option of describing and simulating mixed systems in a consistent manner.…”

Modelling aspects of system level design

“…On the other hand in[3] M. Brielmann and B. Kleinjohann show how even time continuous systems may be modelled by means of Pr/T-nets. As conventional synchronous systems also are covered by this model all conventional design techniques are available as well.…”