Event Graph

Timed formalisms: Event Graphs

Composition of models

Two sequential services :

arrival2

Finish 2

Start 2

(Q2++)

(B2ɬ)

(B2++)

(Q2ɬ)

(Q2 --, B2 --)

ts

arrival1

Finish 1

Start 1

ta

(Q1++)

(B1ɬ)

(B1++)

(Q1ɬ)

(Q1 --, B1 --)

ts

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica