Olatunde T. Baruwa. A timed state space-heuristic search framework for colored petri net-based scheduling of discrete event systems - an application to flexible manufacturing systems. PhD thesis, Autonomous University of Barcelona, Spain, 2015. [doi]
Abstract is missing.