Functional equivalence and a cover relation for reaction systems

Theoretical Computer Science, vol. 1004, pp. 114633

Abstract

Reaction systems are a computational model originally introduced to formalize the interactions between biochemical reactions that are the basis of the functioning of the living cell. Subsets of reactions of a reaction system define result functions which leads to a concept of functional equivalence. This equivalence in turn induces a functional cover relation on the reactions of a reaction system which captures redundancies in the system. In this paper, the functional cover relation is transferred to functional equivalence classes of sets of reactions. We introduce so-called atoms as building blocks of reactions. Atoms provide a characterization of functional equivalence classes of sets of reactions and are used to prove that the functional cover relation on functional equivalence classes of sets of reactions is a lattice.

Authors 3

1. Daniela Genova

   University of North Florida

   Affiliation as printed

   Department of Mathematics and Statistics, University of North Florida, Jacksonville, FL 32224, USA

2. Hendrik Jan Hoogeboom Aachen Leiden Institute of Advanced Computer Science

   Leiden University

   Affiliation as printed

   Leiden Institute of Advanced Computer Science, Leiden University, Leiden, the Netherlands

3. Jetty Kleijn corresponding Aachen Leiden Institute of Advanced Computer Science

   Leiden University

   Affiliation as printed

   Leiden Institute of Advanced Computer Science, Leiden University, Leiden, the Netherlands