Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods" | IEEE Journals & Magazine | IEEE Xplore