Navegação Relatórios Técnicos e de Pesquisa por Assunto "Petri nets"

Resultados 1-2 de 2

    • Compositional reification of petri nets 

      Menezes, Paulo Fernando Blauth (Instituto Superior Tecnico. Departamento de Matematica, 1994) [Relatório Técnico e de Pesquisa]
      A categorical semantic domain is constructed for the reification of Petri nets based on graph transformations. First, the graph transformation concept (based on the single pushout approach) is extended for Petri nets viewed ...

    • Modelamento de processos digitais com redes de instâncias 

      Wagner, Flavio Rech (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 ...