Previous Article Next Article Table of Contents IEEE Transactions on Automatic Control, Vol.49, No.7, 1220-1220, 2004 DOI10.1109/TAC.2004.831159 Export Citation Counterexamples to "Liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods" - Author's reply He KX, Lemmon MD Please enable JavaScript to view the comments powered by Disqus.
