Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets | IEEE Conference Publication | IEEE Xplore