Navegação por Assunto "Graph transformation"

Resultados 1-4 de 4

    • A categorical framework for concurrent, anticipatory systems 

      Menezes, Paulo Fernando Blauth (1998) [Artigo de periódico]
      A categorical semantic domain is constructed for Petri nets which satisfies the diagonal compositionality requirement with respect to anticipations, i.e., Petri nets are equipped with a compositional anticipation mechanism ...

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

    • Improving conflict detection in double-pushout graph transformation 

      Azzi, Guilherme Grochau (2018) [Dissertação]
      Graph transformation is a useful framework for the specification, analysis and development of software, particularly within Model-Driven methodologies. In this setting, graphs or graph-like structures are used to represent ...

    • Transactional graph transformation systems 

      Foss, Luciana (2008) [Tese]
      Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos ...