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

Resultados 1-6 de 6

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

    • Diagonal compositionality of concurrent, finite state systems 

      Menezes, Paulo Fernando Blauth (CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]
      In previous works together with J . Félix Costa and A. Sernadas, we construct a categoria} semantic domain called Nonsequential Automata (first introduced in [10]), based on labeled transition systems [15] with full ...

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

    • Refinement in a concurrent, object-based language 

      Menezes, Paulo Fernando Blauth; Sernadas, Amilcar dos Santos Costa; Costa, J. Felix (CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]
      Nonsequential automata constitute a categoria! semantic domain based oo labeled transition system with full concurrency, where restriction and relabeling are functorial and a class oi morphisms stands for refinement. It ...

    • Synchronization in petri nets 

      Menezes, Paulo Fernando Blauth; Costa, J. Felix (Instituto Superior Tecnico. Departamento de Matematica, 1993) [Relatório Técnico e de Pesquisa]
      In "Petri nets are Monoids" by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this ...

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