Aguilar, M.
(1987).
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>, (pp. 217-230). Porto Alegre: SBC.
doi:10.5753/sbac-pad.1987.23575