Fault diagnosis for large petri nets door G. Jiroveanu