Event Graph
Timed formalisms: Event Graphs
Example : single server queue
B : state of server ---> 1= iddel, 0 = busy
«++ » and « -- » incrementation, decrementation
ta : time between successive arrivals (random)
ts : service time (random)
Diapositiva precedente
Diapositiva successiva
Torna alla prima diaposiva
Visualizza versione grafica