Analysis techniques

• Boundedness is decidable

with coverability tree

p1

p2

p3

p4

t1

t2

t3

1000

0100

t1

Previous slide

Next slide

Back to first slide

View graphic version