Uma Experiência de Especificação Formal de Sistemas Multiprocessadores por Redes de Petri

  • M. M. Fiallos Aguilar Universidad Nacional A. de Honduras / PUC Rio / UFC

Resumo

Este artigo descreve uma experiência de utilização de Redes de Petri na especificação formal de Sistemas Multiprocessadores. - São introduzidos alguns conceitos básicos da teoria de Redes de Petri utilizadas na especificação de um sistema multimicroprocessador específico |FIAL 85|.

Referências

Um Estudo e Uma Proposta de Um Sistema Multiprocessador Com Organização de Memória Multiportas simulada através de Memórias Rápidas.- Mario Mauricio Fiallos Aguilar - Tese de Mestrado PUC/RJ 1985.

Petri Nets Language.- Computer Structures Group, June 1975.

Introdução à Especificação e Verificação Formais de Protocolos de Comunicação dependentes do tempo por Redes de Petri com temporização.- Miguel Menasche.- XI SEMISH, pp 31-44, Julho 1984.

A Methodology for the Design and Implementation of Communication Protocols.- P. Merlin IEEE Transaction on Communications Vol. COM-24, Nº 6 June 76, pp 614-621.

- 16 bit Microprocéssor Data Manual.- Motorola INC. Switzerland 1983.

Petri Net theory and the Modeling of Systems.- James L. Peterson.- Prentice-Hall, Inc., Englewood Cliffs.- N.J. 1981.

Memory Management Units for 68000 Architectures Gregg Zehr.- BYTE pp. 127-135.- November 1986.
Publicado
1987-05-13
Como Citar
AGUILAR, M. M. Fiallos. Uma Experiência de Especificação Formal de Sistemas Multiprocessadores por Redes de Petri. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), [S.l.], p. 217-230, maio 1987. ISSN 0000-0000. Disponível em: <https://sol.sbc.org.br/index.php/sbac-pad/article/view/23575>. Acesso em: 18 maio 2024. doi: https://doi.org/10.5753/sbac-pad.1987.23575.