Registre de correu electrònic: Diagnosability Enforcement in Discrete Event Systems Using Labeled Petri Nets