“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” (2015) Ontare, 3(1), p. 97–124. doi:10.21158/23823399.v3.n1.2015.1252.