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), 97-124. https://doi.org/10.21158/23823399.v3.n1.2015.1252