Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches