A method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets | IEEE Conference Publication | IEEE Xplore