A Remark on the Decentralized Diagnosis of Labeled Petri Nets | IEEE Journals & Magazine | IEEE Xplore