Added to machine description the time by which transitions can be postponed.