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

Share

COinS