State equation

• Necessary condition for marking M to be reachable from initial marking M0:

there exists firing vector v s.t.:

M = M0 + A v

p1

p2

p3

t1

t2

t3

t1

t2

t3

p1

p2

p3

Previous slide

Next slide

Back to first slide

View graphic version