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 [Internet]. 30 de outubro de 2015 [citado 1º de outubro de 2026];3(1):97-124. Disponível em: https://ojs-ean-pruebas.metarevistas.org/index.php/Revistao/article/view/1252