M. Aguilar. 1987.
Uma Experiência de Especificação Formal de Sistemas Multiprocessadores por Redes de Petri. In Anais do I Simpósio Brasileiro de Arquitetura de Computadores e Processamento Paralelo, maio 13, 1987, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 217-230. DOI: https://doi.org/10.5753/sbac-pad.1987.23575.