2015. 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, 1 (out. 2015), 97–124. DOI:https://doi.org/10.21158/23823399.v3.n1.2015.1252.