Navegação Relatórios Técnicos e de Pesquisa por Assunto "Teoria : Categorias"

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 ...

    • Systems for system implementation 

      Menezes, Paulo Fernando Blauth; Costa, J. Felix (CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]
      Inspired by Meseguer and Montanari's "Petri Nets are Monoids", we propose that a refinement o f a Petri net is a special kind o f net morphism were the target object is enriched with ali conceivable sequential and concurrent ...