Correction to “On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets” | IEEE Journals & Magazine | IEEE Xplore