Timed Formalism: DEVS

Timed formalisms: 5 - DEVS

Discrete EVent Specification

A DEVS is a structure:

M = < X, S, Y, d int , d ext , l , D>.

dint: internal transiiton function

dint : S S

dext: external transition function

dext : S x X S

l : output function,

l : S Y

D : life time of a state.

D : S R+

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica