“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 3, no. 1 (outubro 30, 2015): 97–124. Acesso em outubro 1, 2026. https://ojs-ean-pruebas.metarevistas.org/index.php/Revistao/article/view/1252.