A timed state space-heuristic search framework for colored petri net-based scheduling of discrete event systems -an application to flexible manufacturing systems