Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors
Authors: 
Francois Fages, Thierry Martinez, David A. Rosenblueth, 
Sylvain SolimanAuthors Info & Claims
Pages 1138 - 1151
Abstract
Biochemical reaction networks are one of the most widely used formalisms 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 that cannot test the absence of a species, that we compare with the negative Boolean semantics with test for absence of a species in 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.
References
[1]
M. Hucka, et al., "The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models," Bioinformatics, vol. 19, no. 4, pp. 524-531, 2003.
[2]
F. Fages and S. Soliman, "Abstract interpretation and types for systems biology," Theoretical Comput. Sci., vol. 403, no. 1, pp. 52- 70, 2008.
[3]
N. le Novère, B. Bornstein, A. Broicher, M. Courtot, M. Donizelli, H. Dharuri, L. Li, H. Sauro, M. Schilstra, B. Shapiro, J. L. Snoep, and M. Hucka, "BioModels Database: A free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems," Nucleic Acid Res., vol. 1, no. 34, pp. D689- D691, Jan. 2006.
[4]
L. Glass and S. A. Kauffman, "The logical analysis of continuous, non-linear biochemical control networks," J. Theoretical Biol., vol. 39, no. 1, pp. 103-129, 1973.
[5]
R. Thomas, "Boolean formalisation of genetic control circuits," J. Theoretical Biol., vol. 42, pp. 565-583, 1973.
[6]
R. Thomas and R. D'Ari, Biological Feedback. Boca Raton, FL, USA: CRC Press, 1990.
[7]
E. Remy, P. Ruet, and D. Thieffry, "Graphic requirements for multistability and attractive cycles in a boolean dynamical framework," Adv. Appl. Math., vol. 41, no. 3, pp. 335-350, 2008.
[8]
P. Ruet, "Local cycles and dynamical properties of boolean networks," Math. Found. Comput. Sci., vol. 26, no. 4, pp. 702-718, 2016.
[9]
A. Naldi, D. Berenguier, A. Fauré, F. Lopez, D. Thieffry, and C. Chaouiya, "Logical modelling of regulatory networks with GINsim 2.3," Biosystems, vol. 97, no. 2, pp. 134-139, 2009.
[10]
C. Chaouiya, A. Naldi, and D. Thieffry, Logical Modelling of Gene Regulatory Networks with GINsim. New York, NY, USA: Springer-Verlag, 2012, vol. 804, pp. 463-479.
[11]
G. Batt, B. Besson, P. Ciron, H. de Jong, E. Dumas, J. Geiselmann, R. Monte, P. Monteiro, M. Page, F. Rechenmann, and D. Ropers, "Genetic network analyzer: A tool for the qualitative modeling and simulation of bacterial regulatory networks," in Proc. Bacterial Molecular Netw., 2012, pp. 439-462.
[12]
D. A. Rosenblueth, S. Muñoz, M. Carrillo, and E. Azpeitia, "Inference of Boolean networks from gene interaction graphs using a SAT solver," in Proc. 1st Int. Conf. Algorithms Comput. Biol., 2014, pp. 235-246.
[13]
C. Chaouiya, "Petri net modelling of biological networks," Briefings Bioinformatics, vol. 8, no. 210, pp. 210-219, 2007.
[14]
B. Chazelle, "Natural algorithms and influence systems," Commun. ACM, vol. 55, no. 12, pp. 101-110, Dec. 2012.
[15]
A. Naldi, R. Remy, D. Thieffry, and C. Chaouiya, "A reduction method for logical regulatory graphs preserving essential dynamical properties," in Proc. 7th Int. Conf. Comput. Methods Syst. Biol., 2009, pp. 266-280.
[16]
N. le Novère, M. Hucka, H. Mi, S. Moodie, F. Schreiber, A. Sorokin, E. Demir, K. Wegner, M. I. Aladjem, S. M. Wimalaratne, F. T. Bergman, R. Gauges, P. Ghazal, H. Kawaji, L. Li, Y. Matsuoka, A. Villeger, S. E. Boyd, L. Calzone, M. Courtot, U. Dogrusoz, T. C. Freeman, A. Funahashi, S. Ghosh, A. Jouraku, S. Kim, F. Kolpakov, A. Luna, S. Sahle, E. Schmidt, S. Watterson, G. Wu, I. Goryanin, D. B. Kell, C. Sander, H. Sauro, J. L. Snoep, K. Kohn, and H. Kitano, "The systems biology graphical notation," Nature Biotechnol., vol. 27, no. 8, pp. 735-741, Aug. 2009.
[17]
F. Fages and S. Soliman, "From reaction models to influence graphs and back: A theorem," in Proc. Formal Methods Syst. Biol., Feb. 2008, pp. 90-102.
[18]
P. Cousot and R. Cousot, "Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints," in Proc. 6th ACM Symp. Principles Program. Lang., 1977, pp. 238-252.
[19]
A. Ciliberto, F. Capuani, and J. J. Tyson, "Modeling networks of coupled enzymatic reactions using the total quasi-steady state approximation," PLOS Comput. Biol., vol. 3, no. 3, Mar. 2007, Art. no. e45.
[20]
W. Abou-Jaoudé, D. A. Ouattara, and M. Kaufman, "From structure to dynamics: Frequency tuning in the p53-Mdm2 network: I. logical approach," J. Theoretical Biol, vol. 258, no. 4, pp. 561-577, 2009.
[21]
W. Abou-Jaoudé, D. A. Ouattara, and M. Kaufman, "From structure to dynamics: Frequency tuning in the p53-Mdm2 network: II differential and stochastic approaches," J. Theoretical Biol., vol. 264, pp. 1177-1189, 2010.
[22]
J.-P. Comet, G. Bernot, A. Das, F. Diener, C. Massot, and A. Cessieux, "Simplified models for the mammalian circadian clock," Procedia Comput. Sci., vol. 11, pp. 127-138, 2012.
[23]
L. Grieco, L. Calzone, I. Bernard-Pierrot, F. Radvanyi, B. Kahn- Perl_es, and D. Thieffry, "Integrative modelling of the influence of mapk network on cancer cell fate decision," PLOS Comput. Biol., vol. 9, no. 10, Oct. 2013, Art. no. e1003286.
[24]
F. Fages, T. Martinez, D. Rosenblueth, and S. Soliman, "Influence systems vs reaction systems," in Proc. 4th Int. Conf. Comput. Methods Syst. Biol., Sep. 2016, pp. 98-115.
[25]
F. Fages, S. Gay, and S. Soliman, "Inferring reaction systems from ordinary differential equations," Theoretical Comput. Sci., vol. 599, pp. 64-78, Sep. 2015.
[26]
M. Katsumata, "Graphic representation of Botts-Morales equation for enzyme-substrate-modifier system," J. Theoretical Biol., vol. 36, no. 2, pp. 327-338, 1972.
[27]
A. Ciliberto, B. Novák, and J. J. Tyson, "Steady states and oscillations in the p53/mdm2 network," Cell Cycle, vol. 4, no. 3, pp. 488- 493, Mar. 2005.
[28]
D. T. Gillespie, "Exact stochastic simulation of coupled chemical reactions," J. Phys. Chemistry, vol. 81, no. 25, pp. 2340-2361, 1977.
[29]
N. Chabrier and F. Fages, "Symbolic model checking of biochemical networks," in Proc. 1st Workshop Comput. Methods Syst. Biol., Mar. 2003, pp. 149-162.
[30]
T. G. Kurtz, "Strong approximation theorems for density dependent markov chains," Stochastic Processes Appl., vol. 6, no. 3, pp. 223-240, 1978.
[31]
M. L. Minsky, Computation: Finite and Infinite Machines. Englewood Cliffs, N.J., USA: Prentice Hall, 1972.
[32]
G. Bernot, J.-P. Comet, and Z. Khalis, "Gene regulatory networks wih multiplexes," in Proc. Eur. Simul. Modelling Conf., 2008, pp. 423-432.
[33]
P. Traynard, A. Fauré, F. Fages, and D. Thieffry, "Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation," Bioinformatics, vol. 32, no. 17, pp. i772-i780, 2016.
[34]
A. Naldi, J. Carneiro, C. Chaouiya, and D. Thieffry, "Diversity and plasticity of Th cell types predicted from regulatory network-modelling," PLoS Comput. Biol., vol. 6, no. 9, Sep. 2010, Art. no. e10000912.
[35]
A.-G. González, C. Chaouiya, and D. Thieffry, "Qualitative dynamical modelling of the formation of the anterior-posterior compartment boundary in the drosophila wing imaginal disc," Bioinformatics, vol. 24, pp. 234-240, 2008.
[36]
D. Angeli and E. D. Sontag, "Monotone control systems," IEEE Trans. Autom. Control, vol. 48, no. 10, pp. 1684-1698, 2003.
[37]
H. Klarner, A. Bockmayr, and H. Siebert, "Computing symbolic steady states of boolean networks," in Proc. 11th Int. Conf. Cellular Automata Res. Ind., 2014, pp. 561-570.
[38]
S. Gay, S. Soliman, and F. Fages, "A graphical method for reducing and relating models in systems biology," Bioinformatics, vol. 26, no. 18, pp. i575-i581, 2010, special issue ECCB'10.
[39]
J.-C. Leloup and A. Goldbeter, "Toward a detailed computational model for the mammalian circadian clock," Proc. Nat. Acad. Sci., vol. 100, pp. 7051-7056, 2003.
[40]
H. Klarner, A. Bockmayr, and H. Siebert, "Computing maximal and minimal trap spaces of boolean networks," Natural Comput., vol. 14, no. 4, pp. 535-544, 2015.
- Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors
Recommendations
Systems-level modeling of cellular glycosylation reaction networks
Motivation: The emerging field of Glycomics requires the development of systems-based modeling strategies to relate glycosyltransferase gene expression and enzyme activity with carbohydrate structure and function.
Results: We describe the ...
Unsupervised detection of genes of influence in lung cancer using biological networks
Motivation: Lung cancer is often discovered long after its onset, making identifying genes important in its initiation and progression a challenge. By the time the tumors are discovered, we only observe the final sum of changes of the few genes that ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2018.
Publisher
IEEE Computer Society Press
Washington, DC, United States
Publication History
Published: 01 July 2018
Published in TCBB Volume 15, Issue 4
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 25Total Downloads
- Downloads (Last 12 months)5
- Downloads (Last 6 weeks)0
Reflects downloads up to 26 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in