YuanLin Wen, ChunHsi Li, MuDer Jeng. A polynomial algorithm for checking diagnosability of Petri nets. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005. pages 2542-2547, IEEE, 2005. [doi]
Abstract is missing.