Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking | IEEE Conference Publication | IEEE Xplore