Qualitative diagnosability of labeled petri nets revisited | IEEE Conference Publication | IEEE Xplore