A Structural Characterization of Diagnosable Petri Net Models | IEEE Conference Publication | IEEE Xplore