Influence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors

François Fages 1 Thierry Martinez 2 David Rosenblueth 3 Sylvain Soliman 1
2 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, UPD7 - Université Paris Diderot - Paris 7, PPS - Preuves, Programmes et Systèmes
Abstract : Biochemical reaction networks are one of the most widely used formalism in systems biology to describe the molecular mechanisms of high-level cell processes. However modellers also reason with influence diagrams to represent the positive and negative influences between molecular species and may find an influence network useful in the process of building a reaction network. In this paper, we introduce a formalism of influence networks with forces, and equip it with a hierarchy of Boolean, Petri net, stochastic and differential semantics, similarly to reaction networks with rates. We show that the expressive power of influence networks is the same as that of reaction networks under the differential semantics, but weaker under the discrete semantics. Furthermore, the hierarchy of semantics leads us to consider a (positive) Boolean semantics without test for absence, that we compare with the (negative) Boolean semantics with test for absence of gene regulatory networks à la Thomas. We study the monotonicity properties of the positive semantics and derive from them an algorithm to compute attractors in both the positive and negative Boolean semantics. We illustrate our results on models of the literature about the p53/Mdm2 DNA damage repair system, the circadian clock, and the influence of MAPK signaling on cell-fate decision in urinary bladder cancer.
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [38 references]  Display  Hide  Download

https://hal.inria.fr/hal-01510216
Contributor : François Fages <>
Submitted on : Wednesday, February 14, 2018 - 12:40:22 PM
Last modification on : Friday, January 4, 2019 - 5:33:38 PM

File

FMRS17tccb.pdf
Files produced by the author(s)

Identifiers

Citation

François Fages, Thierry Martinez, David Rosenblueth, Sylvain Soliman. Influence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors. IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, In press, PP (99), pp.1-14. ⟨10.1109/TCBB.2018.2805686⟩. ⟨hal-01510216v3⟩

Share

Metrics

Record views

413

Files downloads

204