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