Deadlock-free scheduling of flexible manufacturing systems based on heuristic search and Petri net structures | IEEE Conference Publication | IEEE Xplore