Fault diagnosis for large petri nets by G. Jiroveanu