文章基本信息

标题：Algebraic High-Level Nets as Weak Adhesive HLR Categories
本地全文：下载
作者：Ulrike Prange
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2007
卷号：2
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：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.