M. Aguilar.
"Uma Experiência de Especificação Formal de Sistemas Multiprocessadores por Redes de Petri", in <em>Anais do I Simpósio Brasileiro de Arquitetura de Computadores e Processamento Paralelo</em>, Gramado/RS, 1987, pp. 217-230, doi: <a href="https://doi.org/10.5753/sbac-pad.1987.23575">https://doi.org/10.5753/sbac-pad.1987.23575</a>.