Listar por tema "Net-based semantics"
Mostrando ítems 1-2 de 2
-
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 ... -
Marked petri nets within a categorial framework
(1995) [Artículo 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 ...