Algebraic High-Level Nets as Weak Adhesive HLR Categories

Ulrike Prange

Abstract


Adhesive high-level replacement (HLR) systems have been recently introduced as a new categorical framework for double pushout transformations. Algebraic high-level nets combine algebraic specifications with Petri nets to allow the modelling of data, data flow and data changes within the net.

In this paper, we show that algebraic high-level schemas and nets fit well into the context of weak adhesive HLR categories. This allows us to apply the developed theory also to algebraic high-level net transformations.

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.2.5

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.2.5.27

Hosted By Universit├Ątsbibliothek TU Berlin.