Scheduling batch systems using a Petri net model and an intelligent backtrack mechanism. - Stéphane Julia; Clarimundo Machado M. Júior (SMC, 2000)