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 (CRIStAL) - UMR 9189
2 LINKS - Linking Dynamic Data
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - 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.
Type de document :
Communication dans un congrès
Computational Methods for Systems Biology, Sep 2015, Nantes, France. 9308, pp.157-169, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01163391
Contributeur : Hal Biocomputing <>
Soumis le : jeudi 9 juillet 2015 - 11:46:00
Dernière modification le : mardi 2 octobre 2018 - 14:33:39
Document(s) archivé(s) le : mercredi 26 avril 2017 - 01:12:39

Fichier

0.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 9308, pp.157-169, Lecture Notes in Computer Science. 〈hal-01163391v2〉

Partager

Métriques

Consultations de la notice

506

Téléchargements de fichiers

110