Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search | IEEE Journals & Magazine | IEEE Xplore