On supervisory policies that enforce liveness in controlled Petri nets that are similar | IEEE Conference Publication | IEEE Xplore