Event Graph

Timed formalisms: Event Graphs

A

B

i

Canceling edge

Interpretation : When event A occurs then if condition (i) is true the

next occurrence of event B is removed from the event list

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica