Selection of token holding times in timed-token protocols