Previous Article Next Article Table of Contents IEEE Transactions on Automatic Control, Vol.64, No.4, 1768-1768, 2019 DOI10.1109/TAC.2019.2897511 Export Citation On the Decidability and Complexity of Diagnosability for Labeled Petri Nets (vol 62, pg 5931, 2017) Yin X, Lafortune S Please enable JavaScript to view the comments powered by Disqus.