Navegação Relatórios Técnicos e de Pesquisa por Assunto "Nets of agencies"
Resultados 1-3 de 3
-
Linguagens de descrição de hardware para suporte a integração do processo de projeto em Amplo
(PGCC da UFRGS, 1987) [Relatório Técnico e de Pesquisa]Este relatório apresenta as características das linguagens de descrição de hardware existentes no sistema AMPLO que suportam a integridade do processo de projeto de sistemas digitais. Em especial, é completamente descrita ... -
Modelamento de processos digitais com redes de instâncias
(PGCC da UFRGS, 1984) [Relatório Técnico e de Pesquisa]Este relatório apresenta o conceito de redes do instâncias. É mostrado que sistemas onde se desenrolam processos digitais podem ser modelados como redes de instâncias. Redes de Petri são utilizadas para descrever a estrutura ... -
Simulação de sistemas modelados como redes de agências
(PGCC da UFRGS, 1985) [Relatório Técnico e de Pesquisa]Este trabalho apresenta um modelo de simulação, em um monoprocessador, de sistemas representados como re des de agências. A estrutura básica de um simulador adegua do a este modelo é mostrada. Alguns aspectos importantes ...