A Graph Isomorphism Condition and Equivalence of Reaction Systems

Theor Comput Sci. 2017 Nov 21:701:109-119. doi: 10.1016/j.tcs.2017.05.019. Epub 2017 Jun 8.

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.

Keywords: directed graphs; dynamics of reaction systems; equivalence of reaction systems; graph isomorphism; graphs on posets.