On iterative liveness-enforcement for a class of generalized Petri nets | IEEE Conference Publication | IEEE Xplore