Qualitative Reasoning about Reaction Networks with Partial Kinetic Information
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...