Balance equations
M vS = 0
iff S is periodic
Full rank (as in this case)
no non-zero solution
no periodic schedule
(too many tokens accumulate on A->B or B->C)
Previous slide
Next slide
Back to first slide
View graphic version