Untimed Formalism: 2-Automata

Untimed formalism: 2- Automata

M = < I, S, O, d, l >

The input-output trajectories of the model are discrete

event trajectories

the model has :

- discrete state trajectory (piecewise constant),

- implicite continuous time base.

Discrete event Models with a logical time base

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica