Gravar e-mail: Petri nets for fault diagnosis of large po