Fault detection for discrete event systems using Petri nets with unobservable transitions