DiSH simulator: Capturing dynamics of cellular signaling with heterogeneous knowledge

In this paper, we present DiSH, a simulator for large discrete models of biological signal transduction pathways, capable of simulating networks with multi-valued elements in both deterministic and stochastic manner. The simulator incorporates the timing of molecular reactions, which are often not synchronized and occur in random order, and it also takes into account the difference between slow and fast reactions. DiSH also allows for changes in conditions during simulations, combined deterministic and stochastic changes, and it uses the concept of delays in models, similar to delays in digital circuits. DiSH is publicly available and has been used to study intra- and inter-cellular models of several diseases. It is also being used as part of a larger architecture including natural language processing tools that read biological literature, automated model assembly tools, and formal model analysis tools.

[1]  Paul R Cohen,et al.  DARPA's Big Mechanism program , 2015, Physical biology.

[2]  David Zhang,et al.  SimBoolNet—a Cytoscape plugin for dynamic simulation of signaling networks , 2009, Bioinform..

[3]  Ravi Iyengar,et al.  Systems Biology—Biomedical Modeling , 2011, Science Signaling.

[4]  Natasa Miskov-Zivanov.  Automation of Biological Model Learning, Design and Analysis , 2015, ACM Great Lakes Symposium on VLSI.

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

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

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

[8]  R. Albert,et al.  Signaling Networks: Asynchronous Boolean Models , 2015 .

[9]  James R Faeder,et al.  The Duration of T Cell Stimulation Is a Critical Determinant of Cell Fate and Plasticity , 2013, Science Signaling.

[10]  Mark A. Miller,et al.  A Dynamic Model of Guard Cell Abscisic Acid Signaling , 2006 .

[11]  James R Faeder,et al.  Rule-based modeling of biochemical systems with BioNetGen. , 2009, Methods in molecular biology.

[12]  Jim A. Rogers,et al.  ChemChains: a platform for simulation and analysis of biochemical networks aimed to laboratory scientists , 2009, BMC Systems Biology.

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

[14]  Edda Klipp,et al.  BooleSim: an interactive Boolean network simulator , 2014, Bioinform..

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

[16]  William S. Hlavacek,et al.  Relaxation oscillations and hierarchy of feedbacks in MAPK signaling , 2017, Scientific Reports.

[17]  Alan Veliz-Cuba,et al.  ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra , 2010, BMC Bioinformatics.

[18]  Diana Marculescu,et al.  Emulation of biological networks in reconfigurable hardware , 2011, BCB '11.

[19]  Hans A. Kestler,et al.  BoolNet - an R package for generation, reconstruction and analysis of Boolean networks , 2010, Bioinform..

[20]  K. Shokat,et al.  T cell receptor signaling controls Foxp3 expression via PI3K, Akt, and mTOR , 2008, Proceedings of the National Academy of Sciences.

[21]  Natasa Miskov-Zivanov,et al.  THiMED: Time in Hierarchical Model Extraction and Design , 2014, CMSB.

[22]  Vincent Danos,et al.  Rule-Based Modelling, Symmetries, Refinements , 2008, FMSB.

[23]  M. Kochańczyk,et al.  RAF1/BRAF dimerization integrates the signal from RAS to ERK and ROKα , 2017, Science Signaling.

[24]  D Thieffry,et al.  GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks. , 2006, Bio Systems.

[25]  Jongtae Lim,et al.  ezBioNet: A modeling and simulation system for analyzing biological reaction networks , 2012 .

[26]  Diana Marculescu,et al.  Dynamic behavior of cell signaling networks - Model design and analysis automation , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[27]  J. Massagué.  TGF-beta signal transduction. , 1998, Annual review of biochemistry.

[28]  Diana Marculescu,et al.  Regulatory network analysis acceleration with reconfigurable hardware , 2011, 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.