Skip to Main content Skip to Navigation
Conference papers

Qualitative Reasoning about Reaction Networks with Partial Kinetic Information

Joachim Niehren 1, 2 Mathias John 1 Cristian Versari 1 François Coutte 3, 4 Philippe Jacques 3, 4
1 BioComputing
CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
2 LINKS - Linking Dynamic Data
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
Abstract : We propose a formal modeling language for reaction net- works with partial kinetic information. The language has a graphical syntax reminiscent to Petri nets. The kinetics of reactions need to be described only partially, so that the language can be used to model the regulation of metabolic networks. We present a qualitative reasoning method based on abstract interpretation of the steady state semantics of reaction networks modeled in our language. In particular, we can predict changes of influxes that lead to expected changes of outfluxes.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-01163391
Contributor : Hal Biocomputing <>
Submitted on : Thursday, July 9, 2015 - 11:46:00 AM
Last modification on : Monday, April 26, 2021 - 11:32:07 AM
Long-term archiving on: : Wednesday, April 26, 2017 - 1:12:39 AM

File

0.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01163391, version 2

Citation

Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques. Qualitative Reasoning about Reaction Networks with Partial Kinetic Information. Computational Methods for Systems Biology, Sep 2015, Nantes, France. pp.157-169. ⟨hal-01163391v2⟩

Share

Metrics

Record views

631

Files downloads

863