Priority-List Algorithms for the Periodic Scheduling Problem of Timed Petri Nets