Author's reply [to comments on 'Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods'] | IEEE Journals & Magazine | IEEE Xplore