Scheduling timed Petri nets with a time-feasible reachability tree | IEEE Conference Publication | IEEE Xplore