On periodic schedules for deterministically timed Petri net systems | IEEE Conference Publication | IEEE Xplore