An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems | IEEE Journals & Magazine | IEEE Xplore