Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets | IEEE Journals & Magazine | IEEE Xplore