Event Graph

Timed formalisms: Event Graphs

Events are represented as vertices,

Relationships between events are represented by directed

edges between pairs of vertices,

Logical and/or temporal expressions can be associated

with edges,

Action or activities can be associated with vertices

A

B

di

i

Basic structure

Interpretation : whenever event A occurs,

if condition (i) holds,

event B is scheduled to occurs in di time units

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica