Analysis techniques

• Boundedness is decidable

with coverability tree

p1

p2

p3

p4

t1

t2

t3

1000

0100

0011

t1

t3

0101

t2

Previous slide

Next slide

Back to first slide

View graphic version