Feedback Control Logic for Backward Conflict Free Choice Nets | IEEE Journals & Magazine | IEEE Xplore