Reachability Graph
Reachability graph at maximal speed
A each time, the marking M = Md + Mi is the sum of available
and unvailable tokens
In this graph, an edge between two markings is labelled
by Tj/dk, where Tj is the transition frired and dk the
delay between the 2 markings
p1
p2
t1
t2
D1 = 5
D2 = 8
Diapositiva precedente
Diapositiva successiva
Torna alla prima diaposiva
Visualizza versione grafica