A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models

Gene Regulatory Networks (GRNs) represent the interactions among genes regulating the activation of specific cell functionalities, such as reception of (chemical) signals or reaction to environmental changes. Studying and understanding these processes is crucial: they are the fundamental mechanism at the basis of cell functioning, and many diseases are based on perturbations or malfunctioning of some gene regulation activities. In this paper, we provide an overview on computational approaches to GRN modelling and analysis. We start from the biological and quantitative modelling background notions, recalling differential equations and the Gillespie’s algorithm. Then, we describe more in depth qualitative approaches such as Boolean networks and some computer science formalisms, including Petri nets, P systems and reaction systems. Our aim is to introduce the reader to the problem of GRN modelling and to guide her/him along the path that goes from classical quantitative methods, through qualitative methods based on Boolean network, up to some of the most relevant qualitative computational methods to understand the advantages and limitations of the different approaches.

[1]  Darren J. Wilkinson Stochastic Modelling for Systems Biology , 2006 .

[2]  M. Mendenhall,et al.  Regulation of Cdc28 Cyclin-Dependent Protein Kinase Activity during the Cell Cycle of the Yeast Saccharomyces cerevisiae , 1998, Microbiology and Molecular Biology Reviews.

[3]  Andrzej Ehrenfeucht,et al.  Reaction Systems , 2007, Fundam. Informaticae.

[4]  Stefan Bornholdt,et al.  Boolean network models of cellular regulation: prospects and limitations , 2008, Journal of The Royal Society Interface.

[5]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[6]  Nuno A. Fonseca,et al.  Expression Atlas update: from tissues to single cells , 2019, Nucleic Acids Res..

[7]  P J Goss,et al.  Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[8]  W. Brown,et al.  Translation: DNA to mRNA to Protein , 2008 .

[9]  Chaoyang Zhang,et al.  Comparison of probabilistic Boolean network and dynamic Bayesian network approaches for inferring gene regulatory networks , 2007, BMC Bioinformatics.

[10]  Paolo Milazzo,et al.  Spatial P systems , 2010, Natural Computing.

[11]  Nadia Busi Analysis issues in Petri nets with inhibitor arcs , 2002, Theor. Comput. Sci..

[12]  Francisco Gómez-Vela,et al.  Computational methods for Gene Regulatory Networks reconstruction and analysis: A review , 2019, Artif. Intell. Medicine.

[13]  Denis Thieffry,et al.  Petri net modelling of biological regulatory networks , 2008, J. Discrete Algorithms.

[14]  Wolfgang Reisig Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[15]  P. Benfey,et al.  A Gene Regulatory Network for Root Epidermis Cell Differentiation in Arabidopsis , 2012, PLoS genetics.

[16]  Paolo Milazzo,et al.  Investigating dynamic causalities in reaction systems , 2016, Theor. Comput. Sci..

[17]  Edward R. Dougherty,et al.  Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks , 2002, Bioinform..

[18]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[19]  M. di Bernardo,et al.  Comparing different ODE modelling approaches for gene regulatory networks. , 2009, Journal of theoretical biology.

[20]  Denis Thieffry,et al.  Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets , 2004, ICATPN.

[21]  H Matsuno,et al.  Hybrid Petri net representation of gene regulatory network. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[22]  R. Albert,et al.  Predicting Essential Components of Signal Transduction Networks: A Dynamic Model of Guard Cell Abscisic Acid Signaling , 2006, PLoS biology.

[23]  Richard Banks,et al.  Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach , 2007, Bioinform..

[24]  Mario J. Pérez-Jiménez,et al.  Modelling gene expression control using P systems: The Lac Operon, a case study , 2008, Biosyst..

[25]  Edward R. Dougherty,et al.  Review of stochastic hybrid systems with applications in biological systems modeling and analysis , 2017, EURASIP J. Bioinform. Syst. Biol..

[26]  Rui-Sheng Wang,et al.  Boolean modeling in systems biology: an overview of methodology and applications , 2012, Physical biology.

[27]  Giancarlo Mauri,et al.  Dynamical probabilistic P systems , 2006, Int. J. Found. Comput. Sci..

[28]  Caner Kazanci,et al.  Deterministic and stochastic simulation and analysis of biochemical reaction networks the lactose operon example. , 2011, Methods in enzymology.

[29]  Marian Gheorghe,et al.  Quorum sensing P systems , 2007, Theor. Comput. Sci..

[30]  C. A. Petri Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.

[31]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[32]  Vincent Danos,et al.  Abstract Interpretation of Cellular Signalling Networks , 2008, VMCAI.

[33]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[34]  Alvis Brazma,et al.  Current approaches to gene regulatory network modelling , 2007, BMC Bioinformatics.

[35]  David J. Barnes,et al.  Introduction to Modeling for Biosciences , 2010 .

[36]  B. Haibe-Kains,et al.  Gene regulatory networks and their applications: understanding biological and medical problems in terms of networks , 2014, Front. Cell Dev. Biol..

[37]  Denis Thieffry,et al.  Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis , 1999, Bioinform..

[38]  Aurélien Naldi,et al.  Dynamically consistent reduction of logical regulatory graphs , 2011, Theor. Comput. Sci..

[39]  Stanislas Leibler,et al.  Modeling network dynamics , 2003, The Journal of cell biology.

[40]  Jean Peccoud,et al.  Analysis of the Stabilizing Effect of ROM on the Genetic Network Controlling ColE1 Plasmid Replication , 1999, Pacific Symposium on Biocomputing.

[41]  Paolo Milazzo,et al.  Computing Preimages and Ancestors in Reaction Systems , 2018, TPNC.

[42]  Eric Bullinger,et al.  Wilkinson Darren: Stochastic Modelling for Systems Biology , 2006 .

[43]  Satoru Miyano,et al.  Identification of Genetic Networks from a Small Number of Gene Expression Patterns Under the Boolean Network Model , 1998, Pacific Symposium on Biocomputing.

[44]  Pierluigi Frisco,et al.  Applications of Membrane Computing in Systems and Synthetic Biology , 2014 .

[45]  Avi Ma’ayan Complex systems biology , 2017, Journal of The Royal Society Interface.

[46]  I. Albert,et al.  Attractor analysis of asynchronous Boolean models of signal transduction networks. , 2010, Journal of theoretical biology.

[47]  Corrado Priami,et al.  Beta Binders for Biological Interactions , 2004, CMSB.

[48]  Roberto Barbuti,et al.  Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation , 2020, Theor. Comput. Sci..

[49]  Giancarlo Mauri,et al.  An excursion in reaction systems: From computer science to biology , 2012, Theor. Comput. Sci..

[50]  Guy Karlebach,et al.  Modelling and analysis of gene regulatory networks , 2008, Nature Reviews Molecular Cell Biology.

[51]  Marian Gheorghe,et al.  On P Systems as a Modelling Tool for Biological Systems , 2005, Workshop on Membrane Computing.

[52]  Tanya Barrett,et al.  The Gene Expression Omnibus Database , 2016, Statistical Genomics.

[53]  S Miyano,et al.  Algorithms for inferring qualitative models of biological networks. , 2000, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[54]  Isabelle S. Peter,et al.  Methods for the experimental and computational analysis of gene regulatory networks in sea urchins. , 2019, Methods in cell biology.

[55]  Aviv Regev,et al.  Comparative analysis of gene regulatory networks: from network reconstruction to evolution. , 2015, Annual review of cell and developmental biology.

[56]  William J R Longabaugh,et al.  BioTapestry: a tool to visualize the dynamic properties of gene regulatory networks. , 2012, Methods in molecular biology.

[57]  Katherine C. Chen,et al.  Integrative analysis of cell cycle control in budding yeast. , 2004, Molecular biology of the cell.

[58]  Giovanni De Micheli,et al.  Synchronous versus asynchronous modeling of gene regulatory networks , 2008, Bioinform..

[59]  M Chaves,et al.  Methods of robustness analysis for Boolean models of gene control networks. , 2006, Systems biology.

[60]  S. Bilke,et al.  Stability of the Kauffman model. , 2002, Physical review. E, Statistical, nonlinear, and soft matter physics.

[61]  Eric H. Davidson,et al.  Genomic Control Process: Development and Evolution , 2015 .

[62]  Paolo Milazzo,et al.  Specialized Predictor for Reaction Systems with Context Properties , 2015, CS&P.

[63]  Jason A. Papin,et al.  Reconstruction of cellular signalling networks and analysis of their properties , 2005, Nature Reviews Molecular Cell Biology.

[64]  M. J. P. Jiménez,et al.  Modelling EGFR signalling cascade using continuous membrane systems , 2005 .

[65]  Gheorghe Paun,et al.  Membrane Computing as a Modeling Framework. Cellular Systems Case Studies , 2008, SFM.

[66]  Monika Heiner,et al.  From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis , 2006, ICATPN.

[67]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[68]  E. Boczko,et al.  Connecting the dots between genes, biochemistry, and disease susceptibility: systems biology modeling in human genetics. , 2003, Molecular genetics and metabolism.

[69]  Ioannis Xenarios,et al.  A method for the generation of standardized qualitative dynamical systems of regulatory networks , 2005, Theoretical Biology and Medical Modelling.

[70]  D R Westhead,et al.  Petri Net representations in systems biology. , 2003, Biochemical Society transactions.

[71]  Aurélien Naldi,et al.  Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle , 2006, ISMB.

[72]  H. Othmer,et al.  The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. , 2003, Journal of theoretical biology.

[73]  Paolo Milazzo,et al.  Simulating Gene Regulatory Networks using Reaction Systems , 2018, CS&P.

[74]  Q. Ouyang,et al.  The yeast cell-cycle network is robustly designed. , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[75]  Pierre N. Robillard,et al.  Modeling and Simulation of Molecular Biology Systems Using Petri Nets: Modeling Goals of Various Approaches , 2004, J. Bioinform. Comput. Biol..

[76]  Andrzej Ehrenfeucht,et al.  A Tour of reaction Systems , 2011, Int. J. Found. Comput. Sci..

[77]  Madalena Chaves,et al.  Robustness and fragility of Boolean models for genetic regulatory networks. , 2005, Journal of theoretical biology.

[78]  Daniel T Gillespie,et al.  Stochastic simulation of chemical kinetics. , 2007, Annual review of physical chemistry.

[79]  J. Keasling,et al.  Mathematical Model of the lac Operon: Inducer Exclusion, Catabolite Repression, and Diauxic Growth on Glucose and Lactose , 1997, Biotechnology progress.

[80]  Qianchuan Zhao,et al.  A remark on "Scalar equations for synchronous Boolean networks with biological Applications" by C. Farrow, J. Heidel, J. Maloney, and J. Rogers , 2005, IEEE Transactions on Neural Networks.

[81]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[82]  Thomas Hinze,et al.  Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo , 2007, Workshop on Membrane Computing.

[83]  Edward R. Dougherty,et al.  From Boolean to probabilistic Boolean networks as models of genetic regulatory networks , 2002, Proc. IEEE.

[84]  Mario J. Pérez-Jiménez,et al.  P Systems, a New Computational Modelling Tool for Systems Biology , 2006, Trans. Comp. Sys. Biology.

[85]  R. Albert,et al.  Network model of survival signaling in large granular lymphocyte leukemia , 2008, Proceedings of the National Academy of Sciences.

[86]  Carlos Martín-Vide,et al.  Membrane systems with promoters/inhibitors , 2002, Acta Informatica.

[87]  Martin Feinberg,et al.  Foundations of Chemical Reaction Network Theory , 2019, Applied Mathematical Sciences.

[88]  E. O’Shea,et al.  Living with noisy genes: how cells function reliably with inherent variability in gene expression. , 2007, Annual review of biophysics and biomolecular structure.

[89]  Natalio Krasnogor,et al.  The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology , 2011, Bioinform..

[90]  Linqiang Pan,et al.  Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems , 2013, Int. J. Unconv. Comput..

[91]  Denis Thieffry,et al.  Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework , 2003, POSTA.

[92]  D. Gillespie Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[93]  T. Henzinger The theory of hybrid automata , 1996, LICS 1996.

[94]  Robert Fleischer New Physics in B and K Decays , 2005 .

[95]  Jorge G. T. Zañudo,et al.  Boolean Threshold Networks: Virtues and Limitations for Biological Modeling , 2010, 1011.3848.

[96]  Roland Somogyi,et al.  Modeling the complexity of genetic networks: Understanding multigenic and pleiotropic regulation , 1996, Complex..

[97]  Maria Luisa Guerriero,et al.  Modelling Biological Compartments in Bio-PEPA , 2008, MeCBIC.

[98]  Sylvain Cussat-Blanc,et al.  Artificial Gene Regulatory Networks—A Review , 2019, Artificial Life.

[99]  L. Loew,et al.  The Virtual Cell: a software environment for computational cell biology. , 2001, Trends in biotechnology.

[100]  Peter Deuflhard,et al.  A Guide to Numerical Modelling in Systems Biology , 2015 .

[101]  Yan Chen,et al.  Analysis for gene networks based on logic relationships , 2010, J. Syst. Sci. Complex..

[102]  S. Kauffman Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[103]  Xin Liu,et al.  Dynamical and Structural Analysis of a T Cell Survival Network Identifies Novel Candidate Therapeutic Targets for Large Granular Lymphocyte Leukemia , 2011, PLoS Comput. Biol..

[104]  Michael Hecker,et al.  Gene regulatory network inference: Data integration in dynamic models - A review , 2009, Biosyst..

[105]  Roberto Barbuti,et al.  Characterization and computation of ancestors in reaction systems , 2020, Soft Computing.