On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisors | IEEE Conference Publication | IEEE Xplore