State equation and invariants

• Solutions of yA = 0

S-invariants

• sets of places whose total token count does not change
• e.g. y =| 1 1 1 |T

p1

p2

p3

t1

t3

AT=

-1 1 0

0 1 -1

0 -1 1

t2

Previous slide

Next slide

Back to first slide

View graphic version