Listar Reportes Técnicos y de Investigación por tema "Vertical and horizontal compositionality"
Mostrando ítems 1-1 de 1
-
Compositional reification of petri nets
(Instituto Superior Tecnico. Departamento de Matematica, 1994) [Reporte Técnico y de Investigación]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 ...