Deadlock-Free Scheduling of Flexible Assembly Systems Based on Petri Nets and Local Search | IEEE Journals & Magazine | IEEE Xplore