A method for the synthesis of liveness enforcing supervisors in Petri nets | IEEE Conference Publication | IEEE Xplore