Deadlock-free scheduling and control of flexible manufacturing cells using automata theory | IEEE Journals & Magazine | IEEE Xplore