Reachability graph
p1
p2
p3
t1
t2
t3
100
010
001
t1
t3
Previous slide
Next slide
Back to first slide
View graphic version