Analysis techniques
Boundedness is decidable
with coverability tree
Basic analysis tool for bounded nets:
reachability graph
p1
p2
p3
p4
t1
t2
t3
1000
0100
0011
t1
t3
010?
t2
Previous slide
Next slide
Back to first slide
View graphic version