Logical modelling of regulatory networks with GINsim 2.3

Many important problems in cell biology require the consideration of dense nonlinear interactions between functional modules. The requirement of computer simulation for the understanding of cellular processes is now widely accepted, and a variety of modelling frameworks have been designed to meet this need. Here, we present a novel public release of the Gene Interaction Network simulation suite (GINsim), a software designed for the qualitative modelling and analysis of regulatory networks. The main functionalities of GINsim are illustrated through the analysis of a logical model for the core network controlling the fission yeast cell cycle. The last public release of GINsim (version 2.3), as well as development versions, can be downloaded from the dedicated website (http://gin.univ-mrs.fr/GINsim/), which further includes a model library, along with detailed tutorial and user manual.

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

[2]  Song Li,et al.  Boolean network simulations for life scientists , 2008, Source Code for Biology and Medicine.

[3]  D. Irons,et al.  Logical analysis of the budding yeast cell cycle. , 2009, Journal of theoretical biology.

[4]  Denis Thieffry,et al.  Logical modelling of the role of the Hh pathway in the patterning of the Drosophila wing disc , 2008, ECCB.

[5]  References , 1971 .

[6]  T. Helikar,et al.  Emergent decision-making in biological signal transduction networks , 2008, Proceedings of the National Academy of Sciences.

[7]  Giovanni De Micheli,et al.  Dynamic simulation of regulatory networks using SQUAD , 2007, BMC Bioinformatics.

[8]  Hidde de Jong,et al.  Genetic Network Analyzer: qualitative simulation of genetic regulatory networks , 2003, Bioinform..

[9]  R Thomas,et al.  Dynamical behaviour of biological regulatory networks--I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. , 1995, Bulletin of mathematical biology.

[10]  J. Stark,et al.  Oscillations in the immune system , 2007, Immunological reviews.

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

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

[13]  Emmanuel Barillot,et al.  BiNoM: a Cytoscape plugin for manipulating and analyzing biological networks , 2008, Bioinform..

[14]  Aurélien Naldi,et al.  Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks , 2007, CMSB.

[15]  Steffen Klamt,et al.  A Logical Model Provides Insights into T Cell Receptor Signaling , 2007, PLoS Comput. Biol..

[16]  Steffen Klamt,et al.  Structural and functional analysis of cellular networks with CellNetAnalyzer , 2007, BMC Systems Biology.

[17]  A Wuensche,et al.  Genomic regulation modeled as a network with basins of attraction. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

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

[19]  D. Thieffry,et al.  Segmenting the fly embryo: logical analysis of the role of the segment polarity cross-regulatory module. , 2008, The International journal of developmental biology.

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

[21]  Luis Mendoza,et al.  A network model for the control of the differentiation process in Th cells. , 2006, Bio Systems.

[22]  S. Bornholdt,et al.  Boolean Network Model Predicts Cell Cycle Sequence of Fission Yeast , 2007, PloS one.

[23]  D. Thieffry,et al.  Dynamical Analysis of the Regulatory Network Defining the Dorsal–Ventral Boundary of the Drosophila Wing Imaginal Disc , 2006, Genetics.

[24]  Holger Fröhlich,et al.  Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance , 2009, BMC Systems Biology.

[25]  M. Kaufman,et al.  From structure to dynamics: frequency tuning in the p53-Mdm2 network I. Logical approach. , 2009, Journal of theoretical biology.