Abstract
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 language | English |
|---|---|
| Title of host publication | The 5th International Workshop on Hybrid Systems Biology, HSB’16 |
| Subtitle of host publication | Hybrid Systems Biology |
| Publisher | Springer International Publishing |
| Pages | 85-94 |
| Number of pages | 10 |
| ISBN (Electronic) | 978-3-319-47151-8 |
| ISBN (Print) | 978-3-319-47150-1 |
| DOIs | |
| Publication status | Published - 25 Sep 2016 |
| Event | 5th International Workshop on Hybrid Systems Biology - Grenoble, France Duration: 20 Oct 2016 → 21 Oct 2016 http://hsb2016.imag.fr/ |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer International Publishing |
| Volume | 9957 |
| ISSN (Print) | 0302-9743 |
Conference
| Conference | 5th International Workshop on Hybrid Systems Biology |
|---|---|
| Abbreviated title | HSB 2016 |
| Country/Territory | France |
| City | Grenoble |
| Period | 20/10/16 → 21/10/16 |
| Internet address |