Requirements for token holding times in timed-token protocols