Qualitative Reasoning about Reaction Networks with Partial Kinetic Information - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Qualitative Reasoning about Reaction Networks with Partial Kinetic Information

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.
Fichier principal
Vignette du fichier
0.pdf (494.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01163391 , version 1 (25-06-2015)
hal-01163391 , version 2 (09-07-2015)

Identifiers

  • HAL Id : hal-01163391 , version 2

Cite

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⟩
324 View
257 Download

Share

Gmail Facebook X LinkedIn More