Anytime heuristic search for scheduling flexible manufacturing systems: a timed colored Petri net approach | Publicación