Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods | IEEE Journals & Magazine | IEEE Xplore