Dimitri Lefebvre. Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking. In Christos G. Cassandras, Alessandro Giua, Zhiwu Li, editors, 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. pages 466-471, IEEE, 2016. [doi]
Abstract is missing.