Scheduling batch systems using a Petri net model and an intelligent backtrack mechanism | IEEE Conference Publication | IEEE Xplore