Quantitative and logic modelling of molecular and gene networks

Nature Reviews Genetics

Volumn 16, Issue 3, 2015, Pages 146-158

  Le Novere, Nicolas ^a  

^a BABRAHAM INSTITUTE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOENGINEERING; DATA MINING; GENE REGULATORY NETWORK; KINETICS; MATHEMATICAL MODEL; MOLECULAR GENETICS; MOLECULAR MODEL; PRIORITY JOURNAL; QUANTITATIVE ANALYSIS; REVIEW; SYNTHETIC BIOLOGY; ANIMAL; BIOLOGICAL MODEL; COMPUTER PROGRAM; HUMAN; STATISTICAL MODEL; SYSTEMS BIOLOGY;

ANIMALS; DATA MINING; GENE REGULATORY NETWORKS; HUMANS; MODELS, BIOLOGICAL; MODELS, STATISTICAL; SOFTWARE; SYNTHETIC BIOLOGY; SYSTEMS BIOLOGY;

EID: 84923687677     PISSN: 14710056     EISSN: 14710064     Source Type: Journal    
DOI: 10.1038/nrg3885     Document Type: Review

References (145)

1. Bray, D., Bourret, R. & Simon, M. Computer simulation of the phosphorylation cascade controlling bacterial chemotaxis. Mol. Biol. Cell 4, 482-469 (1993).
2. Tindall, M. J., Gaffney, E. A., Maini, P. K. & Armitage, J. P. Theoretical insights into bacterial chemotaxis. Wiley Interdiscip. Rev. Syst. Biol. Med. 4, 247-259 (2012).
3. Thiele, I. et al. A community-driven global reconstruction of human metabolism. Nature Biotech. 31, 419-425 (2013).
4. Karr, J. R. et al. A whole-cell computational model predicts phenotype from genotype. Cell 150, 389-401 (2012).
5. Schliess, F. et al. Integrated metabolic spatial-temporal model for the prediction of ammonia detoxification during liver damage and regeneration. Hepatology 60, 2040-2051 (2014).
6. Chew, Y. H. et al. Multiscale digital Arabidopsis predicts individual organ and whole-organism growth. Proc. Natl Acad. Sci. 111, E4127-E4136 (2014).
7. Gerstein, M. B. et al. Architecture of the human regulatory network derived from ENCODE data. Nature 489, 91-100 (2012).
8. Neph, S. et al. Circuitry and dynamics of human transcription factor regulatory networks. Cell 150, 1274-1286 (2012).
9. De Jong, H. Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol. 9, 67-103 (2002).
10. Chance, B., Greenstein, D. S., Higvongins, J. & Yang, C. C. The mechanism of catalase action. II. Electric analog computer studies. Arch. Biochem. Biophys. 37, 322-339 (1952).
11. Savageau, M. A. Biochemical systems analysis. Dynamic solutions using a power-law approximation. J. Theor. Biol. 26, 215-226 (1970).
12. Kacser, H. & Burns, J. The control of flux. Symp. Soc. Exp. Biol. 27, 65-104 (1973).
13. Joshi, A. & Palsson, B. O. Metabolic dynamics in the human red cell: Part I- A comprehensive kinetic model. J. Theor. Biol. 141, 515-528 (1989).
14. Goldbeter, A. & Koshland, D. An amplified sensitivity arising from covalent modification in biological systems. Proc. Natl Acad. Sci. USA 78, 6840-6844 (1981).
15. Arkin, A., Ross, J. & Mcadams, H. H. Stochastic kinetic analysis of developmental pathway bifurcation in phage-infected Escherichia coli cells. Genetics 149, 1633-1648 (1998).
16. Von Dassow, G., Meir, E., Munro, E. & Odell, G. The segment polarity network is a robust developmental module. Nature 406, 188-192 (2000).
17. Elowitz, M. B. & Leibler, S. A synthetic oscillatory network of transcriptional regulators. Nature 403, 335-338 (2000).
18. Gardner, T., Cantor, C. & Collins, J. Construction of a genetic toggle switch in Escherichia coli. Nature 403, 339-342 (2000).
19. Kauffman, S. A. Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22, 437-467 (1969).
20. Thomas, R. Boolean formalization of genetic control circuits. J. Theor. Biol. 42, 563-585 (1973).
21. Barabási, A.-L. & Oltvai, Z. N. Network biology: understanding the cell's functional organization. Nature Rev. Genet. 5, 101-113 (2004).
22. Bordbar, A., Monk, J. M., King, Z. A. & Palsson, B. O. Constraint-based models predict metabolic and associated cellular functions. Nature Rev. Genet. 15, 107-120 (2014).
23. Takahashi, K., Arjunan, S. N. V. & Tomita, M. Space in systems biology of signaling pathways-towards intracellular molecular crowding in silico. FEBS Lett. 579, 1783-1788 (2005).
24. Dobrzynski, M., Rodríguez, J. V., Kaandorp, J. A. & Blom, J. G. Computational methods for diffusion-influenced biochemical reactions. Bioinformatics 23, 1969-1977 (2007).
25. Costanzo, M. et al. The genetic landscape of a cell. Science 327, 425-431 (2010).
26. Rual, J.-F. et al. Towards a proteome-scale map of the human protein-protein interaction network. Nature 437, 1173-1178 (2005).
27. Stelzl, U. et al. A human protein-protein interaction network: a resource for annotating the proteome. Cell 122, 957-968 (2005).
28. Munõz Descalzo, S. et al. A competitive protein interaction network buffers Oct4-mediated differentiation to promote pluripotency in embryonic stem cells. Mol. Syst. Biol. 9, 694 (2013).
29. Xu, H., Ang, Y.-S., Sevilla, A., Lemischka I. R. & Ma'ayan, A. Construction and validation of a regulatory network for pluripotency and self-renewal of mouse embryonic stem cells. PLoS Comput. Biol. 10, e1003777 (2014).
30. Yu, J. et al. Human induced pluripotent stem cells free of vector and transgene sequences. Science 324, 797-801 (2009).
31. Kim, J., Chu, J., Shen, X., Wang, J. & Orkin, S. H. An extended transcriptional network for pluripotency of embryonic stem cells. Cell 132, 1049-1061 (2008).
32. Boyer, L. A. et al. Core transcriptional regulatory circuitry in human embryonic stem cells. Cell 122, 947-956 (2005).
33. Gohlke, J. M. et al. Characterization of the proneural gene regulatory network during mouse telencephalon development. BMC Biol. 6, 15 (2008).
34. Deneris, E. S. & Wyler, S. C. Serotonergic transcriptional networks and potential importance to mental health. Nature Neurosci. 15, 519-527 (2012).
35. Dagley, S. & Nicholson, D. Introduction to Metabolic Pathways (Blackwell, 1970).
36. Michal, G. Biochemical Pathways (Wiley-Blackwell, 1999).
37. Kanehisa, M., Goto, S., Sato, Y., Furumichi, M. & Tanabe, M. KEGG for integration and interpretation of large-scale molecular data sets. Nucleic Acids Res. 40, D109-D114 (2012).
38. Croft, D. et al. The Reactome pathway knowledgebase. Nucleic Acids Res. 42, D472-D477 (2014).
39. Kohn, K. Functional capabilities of molecular network components controlling the mammalian G1/S cell cycle phase transition. Oncogene 16, 1065-1075 (1998).
40. Le Novère, N. et al. The Systems Biology Graphical Notation. Nature Biotech. 27, 735-741 (2009).
41. Tozluoglu, M., Karaca, E., Haliloglu, T. & Nussinov, R. Cataloging and organizing p73 interactions in cell cycle arrest and apoptosis. Nucleic Acids Res. 36, 5033-5049 (2008).
42. Kohn, K. Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Mol. Biol. Cell 10, 2703-2734 (1999).
43. Pommier, Y., Sordet, O., Antony, S., Hayward, R. L. & Kohn, K. W. Apoptosis defects and chemotherapy resistance: molecular interaction maps and networks. Oncogene 23, 2934-2949 (2004).
44. Hlavacek, W. S. et al. Rules for modeling signal-transduction systems. Sci. STKE 2006, re6 (2006).
45. Danos, V., Feret, J., Fontana, W., Harmer, R. & Krivine, J. in CONCUR 2007-Concurrency Theory: Lecture Notes in Computer Science Vol. 4703 (eds Caires, L. & Vasconcelos, V. T.) 17-41 (Springer, 2007).
46. Lopez, C. F., Muhlich, J. L., Bachman, J. A. & Sorger, P. K. Programming biological models in Python using PySB. Mol. Syst. Biol. 9, 646 (2013).
47. Bidkhori, G., Moeini, A. & Masoudi-Nejad, A. Modeling of tumor progression in NSCLC and intrinsic resistance to TKI in loss of PTEN expression. PLoS ONE 7, e48004 (2012).
48. Kiyatkin, A. et al. Scaffolding protein Grb2-associated binder 1 sustains epidermal growth factor-induced mitogenic and survival signaling by multiple positive feedback loops. J. Biol. Chem. 281, 19925-19938 (2006).
49. Ung, C. Y. et al. Simulation of the regulation of EGFR endocytosis and EGFR-ERK signaling by endophilin-mediated RhoA-EGFR crosstalk. FEBS Lett. 582, 2283-2290 (2008).
50. Yamada, S., Shiono, S., Joo, A. & Yoshimura, A. Control mechanism of JAK/STAT signal transduction pathway. FEBS Lett. 534, 190-196 (2003).
51. Hucka, M. et al. The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19, 524-531 (2003).
52. Fernández-Suárez, X. M., Rigden, D. J. & Galperin, M. Y. The 2014 Nucleic Acids Research Database Issue and an updated NAR online Molecular Biology Database Collection. Nucleic Acids Res. 42, D1-D6 (2014).
53. Orchard, S. et al. The MIntAct project-IntAct as a common curation platform for 11 molecular interaction databases. Nucleic Acids Res. 42, D358-D363 (2014).
54. Franceschini, A. et al. STRING v9.1: protein-protein interaction networks, with increased coverage and integration. Nucleic Acids Res. 41, D808-D815 (2013).
55. Caspi, R. et al. The MetaCyc database of metabolic pathways and enzymes and the BioCyc collection of Pathway/Genome Databases. Nucleic Acids Res. 42, D459-D471 (2014).
56. Kamburov, A., Stelzl, U., Lehrach, H. & Herwig, R. The ConsensusPathDB interaction database: 2013 update. Nucleic Acids Res. 41, D793-D800 (2013).
57. Bader, G. D., Cary, M. P. & Sander, C. Pathguide: a pathway resource list. Nucleic Acids Res. 34, D504-D506 (2006).
58. Wittig, U. et al. SABIO-RK-database for biochemical reaction kinetics. Nucleic Acids Res. 40, D790-D796 (2012).
59. Scheer, M. et al. BRENDA, the enzyme information system in 2011. Nucleic Acids Res. 39, D670-D676 (2011).
60. Büchel, F. et al. Path2Models: large-scale generation of computational models from biochemical pathway maps. BMC Syst. Biol. 7, 116 (2013).
61. Bansal, M., Belcastro, V., Ambesi-Impiombato, A. & di Bernardo, D. How to infer gene networks from expression profiles. Mol. Syst. Biol. 3, 78 (2007).
62. Hurley, D. et al. Gene network inference and visualization tools for biologists: application to new human transcriptome datasets. Nucleic Acids Res. 40, 2377-2398 (2012).
63. Chang, G. et al. High-throughput sequencing reveals the disruption of methylation of imprinted gene in induced pluripotent stem cells. Cell Res. 24, 293-306 (2014).
64. Villaverde, A. F. & Banga, J. R. Reverse engineering and identification in systems biology: strategies, perspectives and challenges. J. R. Soc. Interface. 11, 20130505 (2013).
65. De Smet, R. & Marchal, K. Advantages and limitations of current network inference methods. Nature Rev. Microbiol. 8, 717-729 (2010).
66. He, F., Balling, R. & Zeng, A.-P. Reverse engineering and verification of gene networks: principles, assumptions, and limitations of present methods and future perspectives. J. Biotechnol. 144, 190-203 (2009).
67. Haury, A., Mordelet, F., Vera-licona, P. & Vert, J. TIGRESS: Trustful Inference of Gene REgulation using Stability Selection. BMC Syst. Biol. 6, 145 (2012).
68. Dunn, S.-J. Martello, G., Yordanov, B., Emmott, S. & Smith, T. G. Defining an essential transcription factor program for naive pluripotency. Science. 344, 1156-1160 (2014).
69. Faith, J. J. et al. Large-scale mapping and validation of Escherichia coli transcriptional regulation from a compendium of expression profiles. PLoS Biol. 5, e8 (2007).
70. Margolin, A. A. et al. ARACNE: an algorithm for the reconstruction of gene regulatory networks in a mammalian cellular context. BMC Bioinform. 7 (Suppl. 1), 7 (2006).
71. Gitter, A., Klein-Seetharaman, J., Gupta, A. & Bar-Joseph, Z. Discovering pathways by orienting edges in protein interaction networks. Nucleic Acids Res. 39, e22 (2011).
72. Friedman, N. Linial, M., Nachman, I. & Pe'er, D. Using Bayesian networks to analyze expression data. J. Comput. Biol. 7, 601-620 (2000).
73. Yu, J., Smith, V. A., Wang, P. P., Hartemink, A. J. & Jarvis, E. D. Advances to Bayesian network inference for generating causal networks from observational biological data. Bioinformatics 20, 3594-3603 (2004).
74. Sachs, K., Perez, O., Pe'er, D., Lauffenburger, D. A. & Nolan, G. P. Causal protein-signaling networks derived from multiparameter single-cell data. Science 308, 523-529 (2005).
75. Feizi, S., Marbach, D., Médard, M. & Kellis, M. Network deconvolution as a general method to distinguish direct dependencies in networks. Nature Biotech. 31, 726-733 (2013).
76. Nelander, S. et al. Models from experiments: combinatorial drug perturbations of cancer cells. Mol. Syst. Biol. 4, 216 (2008).
77. Bonneau, R. et al. The Inferelator: an algorithm for learning parsimonious regulatory networks from systems-biology data sets de novo. Genome Biol. 7, R36 (2006).
78. Gardner, T. S., di Bernardo, D., Lorenz, D. & Collins, J. J. Inferring genetic networks and identifying compound mode of action via expression profiling. Science 301, 102-105 (2003).
79. Jaeger, J. et al. Dynamic control of positional information in the early Drosophila embryo. 430, 2-5 (2004).
80. Cantone, I. et al. A yeast synthetic network for in vivo assessment of reverse-engineering and modeling approaches. Cell 137, 172-181 (2009).
81. Marbach, D. et al. Wisdom of crowds for robust gene network inference. Nature Methods 9, 796-804 (2012).
82. Hurley, D. G. et al. NAIL, a software toolset for inferring, analyzing and visualizing regulatory networks. Bioinformatics 31, 277-278 (2015).
83. Allen, J. P. in Biophysical Chemistry 134-162 (Wiley-Blackwell, 2008).
84. Le Novère, N. & Endler, L. Using chemical kinetics to model biochemical pathways. Methods Mol. Biol. 1021, 147-67 (2013).
85. Keller, R. et al. The systems biology simulation core algorithm. BMC Syst. Biol. 7, 55 (2013).
86. Hoops, S. et al. COPASI- A COmplex PAthway SImulator. Bioinformatics 22, 3067-3074 (2006).
87. Polynikis, A., Hogan, S. J. & Bernardo, M. Comparing different ODE modelling approaches for gene regulatory networks. J. Theor. Biol. 261, 511-530 (2009).
88. Dalle Pezze, P. et al. A dynamic network model of mTOR signaling reveals TSC-independent mTORC2 regulation. Sci. Signal. 5, ra25 (2012).
89. Nelson, D. et al. Oscillations in NF-B signaling control the dynamics of gene expression. Science 306, 704-708 (2004).
90. Ashall, L. et al. Pulsatile stimulation determines timing and specificity of NF-B-dependent transcription. Science 324, 242-246 (2009).
91. Bergethon, P. R. in The Physical Basis of Biochemistry 480-497 (Springer, 1998).
92. Huang, C. Y. & Ferrell, J. E. Ultrasensitivity in the mitogen-activated protein kinase cascade. Proc. Natl Acad. Sci. USA 93, 10078-10083 (1996).
93. Chen, W. W., Niepel, M. & Sorger, P. K. Classic and contemporary approaches to modeling biochemical reactions. Genes Dev. 861-1875 (2010).
94. Segel, I. H. Enzyme Kinetics: Behavior and Analysis of Rapid Equilibrium and Steady-State Enzyme Systems (Wiley-Blackwell, 1993).
95. Cornish-Bowden, A. Fundamentals of Enzyme Kinetics (Wiley VCH, 2012).
96. Voit, E. O. Biochemical systems theory: a review. ISRN Biomath. 2013, 1-53 (2013).
97. Parthimos, D., Haddock, R. E., Hill, C. E. & Griffith, T. M. Dynamics of a three-variable nonlinear model of vasomotion: comparison of theory and experiment. Biophys. J. 93, 1534-1556 (2007).
98. Yao, G., Tan, C., West, M., Nevins, J. R. & You, L. Origin of bistability underlying mammalian cell cycle entry. Mol. Syst. Biol. 7, 485 (2011).
99. Novák, B. & Tyson, J. J. Design principles of biochemical oscillators. Nature Rev. Mol. Cell Biol. 9, 981-991 (2008).
100. Goldbeter, A. & Pourquié, O. Modeling the segmentation clock as a network of coupled oscillations in the Notch, Wnt and FGF signaling pathways. J. Theor. Biol. 252, 574-585 (2008).
101. Ozbudak, E. M. & Lewis, J. Notch signalling synchronizes the zebrafish segmentation clock but is not needed to create somite boundaries. PLoS Genet. 4, e15 (2008).
102. Glass, L. & Kauffman, S. The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol. 39, 103-129 (1973).
103. Coutinho, R., Fernandez, B., Lima, R. & Meyroneinc, A. Discrete time piecewise affine models of genetic regulatory networks. J. Math. 52, 524-570 (2006).
104. De Jong, H. et al. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol. 66, 301-340 (2004).
105. De Jong, H., Geiselmann, J., Hernandez, C. & Page, M. Genetic Network Analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19, 336-344 (2003).
106. Moles, C. G., Mendes, P. & Banga, J. R. Parameter estimation in biochemical pathways: a comparison of global optimization methods. Genome Res. 13, 2467-2474 (2003).
107. Morris, M. K., Saez-Rodriguez, J. & Sorger, P. K. & Lauffenburger, D. A. Logic-based models for the analysis of cell signaling networks. Biochemistry 49, 3216-3224 (2010).
108. Sánchez, L., Van Helden, J. & Thieffry, D. Establishment of the dorso-ventral pattern during embryonic development of Drosophila melanogaster: a logical analysis. J. Theor. Biol. 189, 377-389 (1997).
109. Yuh, C.-H., Bolouri, H. & Davidson, E. H. Genomic cis-regulatory logic: experimental and computational analysis of a sea urchin gene. Science 279, 1896-1902 (1998).
110. Bonzanni, N. et al. Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model. Bioinformatics 29, i80-i88 (2013).
111. Wittmann, D. M. et al. Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling. BMC Syst. Biol. 3, 98 (2009).
112. Calzone, L. et al. Mathematical modelling of cell-fate decision in response to death receptor engagement. PLoS Comput. Biol. 6, e1000702 (2010).
113. Grieco, L. et al. Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Comput. Biol. 9, e1003286 (2013).
114. Garg, A., Di Cara, A., Xenarios, I., Mendoza, L. & De Micheli, G. Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics 24, 1917-1925 (2008).
115. Ahmad, J., Bernot, G., Comet, J.-P., Lime, D. & Roux, O. Hybrid modelling and dynamical analysis of gene regulatory networks with delays. Complexus 3, 231-251 (2006).
116. Shmulevich, I., Dougherty, E. R., Kim, S. & Zhang, W. Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks. Bioinformatics 18, 261-274 (2002).
117. Vahedi, G., Faryabi, B., Chamberland, J.-F., Datta, A. & Dougherty, E. R. Sampling-rate-dependent probabilistic Boolean networks. J. Theor. Biol. 261, 540-547 (2009).
118. Liang, J. & Han, J. Stochastic Boolean networks: an efficient approach to modeling gene regulatory networks. BMC Syst. Biol. 6, 113 (2012).
119. Helikar, T., Kochi, N., Konvalina, J. & Rogers, J. A. Boolean modeling of biochemical networks. Open Bioinform. J. 5, 16-25 (2011).
120. Aldridge, B. B., Saez-Rodriguez, J., Muhlich, J. L. & Sorger, P. K. & Lauffenburger, D. A. Fuzzy logic analysis of kinase pathway crosstalk in TNF/EGF/insulin-induced signaling. PLoS Comput. Biol. 5, e1000340 (2009).
121. Terfve, C. et al. CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms. BMC Syst. Biol. 6, 133 (2012).
122. MacNamara, A. & Terfve, C. State-time spectrum of signal transduction logic models. Phys. Biol. 9, 045003 (2012).
123. Carrillo, M. Góngora, P. A. & Rosenblueth, D. A. An overview of existing modeling tools making use of model checking in the analysis of biochemical networks. Front. Plant Sci. 3, 155 (2012).
124. Jusko, W. J. Moving from basic toward systems pharmacodynamic models. J. Pharm. Sci. 102, 2930-2940 (2013).
125. Takahashi, K., Kaizu, K., Hu, B. & Tomita, M. A multi-algorithm, multi-timescale method for cell simulation. Bioinformatics 20, 538-546 (2004).
126. McAdams, H. & Shapiro, L. Circuit simulation of genetic networks. Science 269, 650-656 (1995).
127. Singhania, R. Sramkoski, R. M., Jacobberger, J. W. & Tyson, J. J. A hybrid model of mammalian cell cycle regulation. PLoS Comput. Biol. 7, e1001077 (2011).
128. Ryll, A. et al. A model integration approach linking signalling and gene-regulatory logic with kinetic metabolic models. Biosystems 124, 26-38 (2014).
129. Covert, M. W., Knight, E. M., Reed, J. L., Herrgard, M. J. & Palsson, B. J. Integrating high-throughput and computational data. Nature 429, 92-96 (2004).
130. Herrgård, M. J., Lee, B., Portnoy, V. & Palsson, B. J. Integrated analysis of regulatory and metabolic networks reveals novel regulatory mechanisms in Saccharomyces cerevisiae. Genome Res. 16, 627-635 (2006).
131. Shlomi, T., Eisenberg, Y., Sharan, R. & Ruppin, E. A genome-scale computational study of the interplay between transcriptional regulation and metabolism. Mol. Syst. Biol. 3, 101 (2007).
132. Mattioni, M. & Le Novère, N. Integration of biochemical and electrical signaling-multiscale model of the medium spiny neuron of the striatum. PLoS ONE 8, e66811 (2013).
133. Klionsky, D. J. et al. Guidelines for the use and interpretation of assays for monitoring autophagy. Autophagy 8, 445-544 (2012).
134. Bhalla, U. & Iyengar, R. Emergent properties of networks of biological signaling pathways. Science 283, 381-387 (1999).
135. Stefan, M. I., Edelstein, S. J. & Le Novère, N. An allosteric model of calmodulin explains differential activation of PP2B and CaMKII. Proc. Natl Acad. Sci. USA 105, 10768-10773 (2008).
136. Le Novère, N. et al. Minimum information requested in the annotation of biochemical models (MIRIAM). Nature Biotech. 23, 1509-1515 (2005).
137. Waltemath, D. et al. Minimum information about a simulation experiment (MIASE). PLoS Comput. Biol. 7, e1001122 (2011).
138. Waltemath, D. et al. Reproducible computational biology experiments with SED-ML-the Simulation Experiment Description Markup Language. BMC Syst. Biol. 5, 198 (2011).
139. François, P. & Hakim, V. Core genetic module: the mixed feedback loop. Phys. Rev. E 72, 031908 (2005).
140. Naldi, A. et al. Logical modelling of regulatory networks with GINsim 2.3. Biosystems 97, 134-139 (2009).
141. Calzone, L., Fages, F. & Soliman, S. BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22, 1805-1897 (2006).
142. Funahashi, A., Morohashi, M., Kitano, H. & Tanimura, N. CellDesigner: a process diagram editor for gene-regulatory and biochemical networks. BIOSILICO 1, 159-162 (2003).
143. Myers, C. J. et al. iBioSim: a tool for the analysis and design of genetic circuits. Bioinformatics 25, 2848-2849 (2009).
144. Ermentrout, B. in Computational Systems Neurobiology (ed. Le Novère, N.) 519-531 (Springer, 2012).
145. Müssel, C. Hopfensitz, M. & Kestler, H. A. BoolNet-an R package for generation, reconstruction, and analysis of Boolean networks. Bioinformatics 26, 1378-1380 (2010).