Advanced scheduling methodologies for flexible manufacturing systems using Petri nets and heuristic search | IEEE Conference Publication | IEEE Xplore