论文标题
从分类的角度从反应系统中进行图形冲浪
Graph Surfing in Reaction Systems from a Categorial Perspective
论文作者
论文摘要
最近引入了基于图的反应系统作为对基于集合的反应系统的概括。他们处理简单的边缘标记的有向图，并且基于图的反应系统的动态语义是通过图表进行的作为一种新颖的图形变换来定义的，在单个冲浪步骤中，将反应应用于给定背景图的子图，从而产生继任子段。在本文中，我们提出了一种对反应系统的分类方法，以便在哪种反应系统可以基于的数据结构中获得更广泛的数据结构。这样，涵盖了许多类型的图形，超图和图形结构。
Graph-based reaction systems were recently introduced as a generalization of the intensely studied set-based reaction systems. They deal with simple edge-labeled directed graphs, and dynamic semantics of graph-based reaction systems is defined by graph surfing as a novel kind of graph transformation where, in a single surf step, reactions are applied to a subgraph of a given background graph yielding a successor subgraph. In this paper, we propose a categorical approach to reaction systems so that a wider spectrum of data structures becomes available on which reaction systems can be based. In this way, many types of graphs, hypergraphs, and graph-like structures are covered.
