Blocking and controllability of Petri nets in supervisory control | IEEE Journals & Magazine | IEEE Xplore