Scheduling flexible manufacturing systems using Petri nets and heuristic search | IEEE Journals & Magazine | IEEE Xplore