Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search | IEEE Journals & Magazine | IEEE Xplore