“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.