A graph isomorphism condition and equivalence of reaction systems
Document Type
Article
Publication Date
11-21-2017
Abstract
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.
Publication Title
Theoretical Computer Science
Volume
701
First Page
109
Last Page
119
Digital Object Identifier (DOI)
10.1016/j.tcs.2017.05.019
ISSN
03043975
Citation Information
Genova, Hoogeboom, H. J., & Jonoska, N. (2017). A graph isomorphism condition and equivalence of reaction systems. Theoretical Computer Science, 701, 109–119. https://doi.org/10.1016/j.tcs.2017.05.019