Where academic tradition
meets the exciting future

Dependency Graphs and Mass Conservation in Reaction Systems

Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre, Dependency Graphs and Mass Conservation in Reaction Systems. Theoretical Computer Science 598, 23–39, 2015.



Reaction systems is a new mathematical formalism inspired by the biological cell, which focuses on an abstract set-based representation of chemical reactions via facilitation and inhibition. In this article we focus on the property of mass conservation for reaction systems. We show that conservation of sets gives rise to a relation between the species, which we capture in the concept of the conservation dependency graph. We then describe an application of this relation to the problem of listing all conserved sets. We further give a sufficient negative polynomial criterion which can be used for proving that a set is not conserved. Finally, we present a simulator of reaction systems, which also includes an implementation of the algorithm for listing the conserved sets of a given reaction system.


Full publication in PDF-format

BibTeX entry:

  title = {Dependency Graphs and Mass Conservation in Reaction Systems},
  author = {Azimi, Sepinoud and Gratie, Cristian and Ivanov, Sergiu and Petre, Ion},
  journal = {Theoretical Computer Science},
  volume = {598},
  publisher = {Elsevier},
  pages = {23–39},
  year = {2015},
  keywords = {Reaction system; Model checking; Mass conservation, Conserved set, Conservation dependency graph, Simulator},
  ISSN = {0304-3975},

Belongs to TUCS Research Unit(s): Computational Biomodeling Laboratory (Combio Lab)

Publication Forum rating of this publication: level 2

Edit publication