Liveness enforcing monitors for safe and controllable Petri nets | IEEE Conference Publication | IEEE Xplore