We propose a formal modeling language for reaction networks 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.
CITATION STYLE
Niehren, J., John, M., Versari, C., Coutte, F., & Jacques, P. (2015). Qualitative reasoning for reaction networks with partial kinetic information. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9308, pp. 157–169). Springer Verlag. https://doi.org/10.1007/978-3-319-23401-4_14
Mendeley helps you to discover research relevant for your work.