Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events | IEEE Conference Publication | IEEE Xplore