Corrections to “Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions” [SMCA May 12 727-738] | IEEE Journals & Magazine | IEEE Xplore