A Graph Isomorphism Condition and Equivalence of Reaction Systems.
A Graph Isomorphism Condition and Equivalence of Reaction Systems.
复制标题
反应系统的图同构条件和等价。
DOI：
10.1016/j.tcs.2017.05.019
复制
发表时间：
2017
影响因子：
1.1
通讯作者：
Jonoska,Nataša
中科院分区：
文献类型：
--
作者：
Genova,Daniela;Hoogeboom,HendrikJan;Jonoska,Nataša
我们考虑由Ehrenfeucht和Rozenberg引入的反应系统的全局动力学。动力学由一个有向图表示，即所谓的过渡图，如果两个反应系统对应的过渡图同构，则认为它们是等价的。我们引入了唯一确定有向图的骨架（一个单出图）的概念。给出了两个骨架定义同构图的充分必要条件。这提供了两个反应系统等价的充分必要条件，并给出了反应系统全局动力学对应的有向图的表征。
We consider global dynamics of reaction systems as introduced by Ehrenfeucht and Rozenberg. The dynamics is represented by a directed graph, the so-called transition graph, and two reaction systems are considered equivalent if their corresponding transition graphs are isomorphic. We introduce the notion of a skeleton (a one-out graph) that uniquely determines a directed graph. We provide the necessary and sufficient conditions for two skeletons to define isomorphic graphs. This provides a necessary and sufficient condition for two reactions systems to be equivalent, as well as a characterization of the directed graphs that correspond to the global dynamics of reaction systems.