Finite automata decomposition for flexible manufacturing systems control and scheduling | IEEE Journals & Magazine | IEEE Xplore