fix off by one on PetriNetRunner run limit.