Now showing items 1-1 of 1

    • Compositional reification of petri nets 

      Menezes, Paulo Fernando Blauth (Instituto Superior Tecnico. Departamento de Matematica, 1994) [Technical and Research Report]
      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 ...