Event Graph

Timed formalisms: Event Graphs

Loading process

arrival

End

loading.

Start

loading.

ta

(Bɬ

et

Mɬ)

(B++)

(Qɬ et Mɬ)

tl

Q++

Q --, B--, M --

Finish

processing

End

unloading

Start

unloading.

(Bɬ)

(B++, U --,

M ++, P ++)

(Uɬ)

tu

U++

B--

Unloading process

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica