Colored Petri nets for multiscale systems biology - Current modeling and analysis capabilities in snoopy

Systems biology has introduced a number of multiscale challenges, which, however, can be tackled by colored Petri nets, but not by traditional approaches like ordinary differential equations or Petri nets. In this paper, after a brief covering of multiscale challenges of systems biology, we report the modeling and analysis capabilities of colored Petri nets, which Snoopy by now offers, and describe how these capabilities are used to address those multiscale challenges. In doing so, we aim to attract more researchers to use the powerful capabilities of colored Petri nets to model and analyze multiscale biological systems.

[1]  Martin Meier-Schellersheim,et al.  Multiscale modeling for biologists , 2009, Wiley interdisciplinary reviews. Systems biology and medicine.

[2]  E. Lund.  Guldberg and Waage and the law of mass action , 1965 .

[3]  John C. Dallon,et al.  Multiscale modeling of cellular systems in biology , 2010 .

[4]  Martin Schwarick,et al.  Snoopy - A Unifying Petri Net Tool , 2012, Petri Nets.

[5]  Marta Simeoni,et al.  Petri nets for modelling metabolic pathways: a survey , 2010, Natural Computing.

[6]  Monika Heiner,et al.  Steady state analysis of metabolic pathways using Petri nets , 2003, Silico Biol..

[7]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[8]  Monika Heiner,et al.  Colored Petri nets to Model and Simulate Biological Systems , 2010, ACSD/Petri Nets Workshops.

[9]  LiuFei,et al.  Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila Wing , 2013 .

[10]  Monika Heiner,et al.  Multiscale modelling of coupled Ca2+ channels using coloured stochastic Petri nets. , 2013, IET systems biology.

[11]  Monika Heiner,et al.  Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology , 2013, Petri Nets.

[12]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[13]  Dominique Pontier,et al.  Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets. , 2003, Mathematical biosciences.

[14]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[15]  Claudine Chaouiya,et al.  Petri net modelling of biological networks , 2007, Briefings Bioinform..

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

[17]  Mor Peleg,et al.  Qualitative models of molecular function: linking genetic polymorphisms of tRNA to their functional sequelae , 2002, Proc. IEEE.

[18]  Annegret Wagler,et al.  Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks , 2011, Natural Computing.

[19]  Monika Heiner,et al.  BioModel engineering for multiscale Systems Biology. , 2013, Progress in biophysics and molecular biology.

[20]  Annegret Wagler,et al.  A mathematical approach to solve the network reconstruction problem , 2008, Math. Methods Oper. Res..

[21]  Martin Schwarick,et al.  MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

[22]  Lars Michael Kristensen,et al.  Design/CPN - A Computer Tool for Coloured Petri Nets , 1997, TACAS.

[23]  H. Kitano.  Systems Biology: A Brief Overview , 2002, Science.

[24]  Doktor der Naturwissenschaften.  Colored Petri Nets for Systems Biology , 2012 .

[25]  Monika Heiner,et al.  Petri Nets for Systems and Synthetic Biology , 2008, SFM.

[26]  David R. Gilbert,et al.  A Model Checking Approach to the Parameter Estimation of Biochemical Pathways , 2008, CMSB.

[27]  Monika Heiner,et al.  Modeling membrane systems using colored stochastic Petri nets , 2013, Natural Computing.

[28]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.