Navegação por Assunto "Net-based semantics"

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

    • Marked petri nets within a categorial framework 

      Menezes, Paulo Fernando Blauth (1995) [Artigo de periódico]
      Well know categories of Petri nets lack coproducts and some re strictioné on nets, morphisms or initial markings are required in or der to guarantee the existence of colimits. Categories of Petri nets equipped with a set ...