Hybrid heuristic search for the scheduling of flexible manufacturing systems using Petri nets | IEEE Journals & Magazine | IEEE Xplore