DEVS

Operationnal semantics of DEVS formalism

If INPUT EVENT then activation of the external transition function

If ELAPSED TIME in Present STATE = LIFE TIME of Present STATE

Then activation of :

- First , the output function

- second, the internal transition function

Remark : In the classical DEVS formalism, the models are

MOORE type models

(non-zero delay between input event and output event)

DEVS

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica