Fault detection for discrete event systems using labeled Petri nets