From repetition vector to schedule

• Repeatedly schedule fireable actors up to number of times in repetition vector

q = |1 2 2|T

• Can find either ABCBC or ABBCC

• If deadlock before original state, no valid schedule exists (Lee ‘86)

Previous slide

Next slide

Back to first slide

View graphic version