Synchronous Balanced Analysis

Andreea Beica , Vincent Danos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

When modeling Chemical Reaction Networks, a commonly used mathematical formalism is that of Petri Nets, with the usual interleaving execution semantics. We aim to substitute to a Chemical Reaction Network, especially a "growth" one (i.e., for which an exponential stationary phase exists), a piecewise synchronous approximation of the dynamics: a resource-allocation-centered Petri Net with maximal-step execution semantics. In the case of unimolecular chemical reactions, we prove the correctness of our method and show that it can be used either as an approximation of the dynamics, or as a method of constraining the reaction rate constants (an alternative to flux balance analysis, using an emergent formally defined notion of "growth rate" as the objective function), or a technique of refuting models.
Original languageEnglish
Title of host publicationThe 5th International Workshop on Hybrid Systems Biology, HSB’16
Subtitle of host publicationHybrid Systems Biology
PublisherSpringer International Publishing
Pages85-94
Number of pages10
ISBN (Electronic)978-3-319-47151-8
ISBN (Print)978-3-319-47150-1
DOIs
Publication statusPublished - 25 Sept 2016
Event5th International Workshop on Hybrid Systems Biology - Grenoble, France
Duration: 20 Oct 201621 Oct 2016
http://hsb2016.imag.fr/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
Volume9957
ISSN (Print)0302-9743

Conference

Conference5th International Workshop on Hybrid Systems Biology
Abbreviated titleHSB 2016
Country/TerritoryFrance
CityGrenoble
Period20/10/1621/10/16
Internet address

Fingerprint

Dive into the research topics of 'Synchronous Balanced Analysis'. Together they form a unique fingerprint.

Cite this