Balance equations

• Number of produced tokens must equal number of consumed tokens on every edge

• Repetitions (or firing) vector vS of schedule S: number of firings of each actor in S

• vS(A) np = vS(B) nc

must be satisfied for each edge

np

nc

A

B

Previous slide

Next slide

Back to first slide

View graphic version