State equation and invariants

• Solutions of Ax = 0

T-invariants

• sequences of transitions that (if fireable) bring back to original marking
• generalization of periodic schedule in SDF
• e.g. x =| 0 1 1 |T

p1

p2

p3

t1

t3

t2

Previous slide

Next slide

Back to first slide

View graphic version