Clique no link Fault diagnosis based on Petri Nets.pdf para ver o arquivo.