Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems | IEEE Journals & Magazine | IEEE Xplore