Método de nidificação latente, como método de abstração nas Redes Petri coloridas para o diagnóstico de falhas em sistemas complexos. Ontare, v. 3, n. 1, p. 97–124, 30 out.2015.