Warning: strtotime(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /var/www/html/www_publications/index.php on line 342

Warning: Cannot modify header information - headers already sent by (output started at /var/www/html/www_publications/index.php:342) in /var/www/html/www_publications/index.php on line 4076
Dependency Graphs and Mass Conservation in Reaction Systems (bibtex)
Dependency Graphs and Mass Conservation in Reaction Systems (bibtex)
by Azimi, Sepinoud, Gratie, Cristian, Ivanov, Sergiu and Petre, Ion
Abstract:
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 in 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.
Reference:
Dependency Graphs and Mass Conservation in Reaction Systems (Azimi, Sepinoud, Gratie, Cristian, Ivanov, Sergiu and Petre, Ion), Technical report 1123, , 2014.
Bibtex Entry:
@TechReport{t729,
author   = {Azimi, Sepinoud AND Gratie, Cristian AND Ivanov, Sergiu AND Petre, Ion},
title    = {Dependency Graphs and Mass Conservation in Reaction Systems},
year     = {2014},
number   = {1123},
abstract = {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 in 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.},
keywords = {Reaction system; model checking; mass conservation; conserved set; conservation dependency graph; simulator},
pdf      = {pdfs/Algorithm_2014-10-14-10-46.pdf},
}