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

DOI: https://doi.org/10.5753/sbac-pad.1987.23575

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.