An Efficient Deadlock Recovery Policy for Flexible Manufacturing Systems Modeled With Petri Nets | IEEE Journals & Magazine | IEEE Xplore