FMS scheduling using Petri nets and heuristic search | IEEE Conference Publication | IEEE Xplore