Skip to Main content Skip to Navigation
Journal articles

Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels

Abstract : Thomas's necessary conditions for the existence of multiple steady states in gene networks have been proved by Soulé with high generality for dynamical systems defined by differential equations. When applied to (protein) reaction networks however, those conditions do not provide information since they are trivially satisfied as soon as there is a bimolecular or a reversible reaction. Refined graphical requirements have been proposed to deal with such cases. In this paper, we present for the first time a graph rewriting algorithm for checking the refined conditions given by Soliman, and evaluate its practical performance by applying it systematically to the curated branch of the BioModels repository. This algorithm analyzes all reaction networks (of size up to 430 species) in less than 0.05 second per network, and permits to conclude to the absence of multistationarity in 160 networks over 506. The short computation times obtained in this graphical approach are in sharp contrast to the Jacobian-based symbolic computation approach. We also discuss the case of one extra graphical condition by arc rewiring that allows us to conclude on 20 more networks of this benchmark but with a high computational cost. Finally, we study with some details the case of phosphorylation cycles and MAPK signalling models which show the importance of modelling the intermediate complexations with the enzymes in order to correctly analyze the multistationarity capabilities of such biochemical reaction networks.
Complete list of metadatas

Cited literature [34 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01879735
Contributor : François Fages <>
Submitted on : Monday, September 24, 2018 - 2:50:02 PM
Last modification on : Friday, November 22, 2019 - 5:42:02 PM
Document(s) archivé(s) le : Tuesday, December 25, 2018 - 2:54:05 PM

Files

bfs18jtb.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Adrien Baudier, François Fages, Sylvain Soliman. Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels. Journal of Theoretical Biology, Elsevier, 2018, 459, pp.79--89. ⟨10.1016/j.jtbi.2018.09.024⟩. ⟨hal-01879735⟩

Share

Metrics

Record views

303

Files downloads

272