Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development

MOTIVATION Understanding the processes involved in multi-cellular pattern formation is a central problem of developmental biology, hopefully leading to many new insights, e.g. in the treatment of various diseases. Defining suitable computational techniques for development modelling, able to perform in silico simulation experiments, is an open and challenging problem. RESULTS Previously, we proposed a coarse-grained, quantitative approach based on the basic Petri net formalism, to mimic the behaviour of the biological processes during multicellular differentiation. Here, we apply our modelling approach to the well-studied process of Caenorhabditis elegans vulval development. We show that our model correctly reproduces a large set of in vivo experiments with statistical accuracy. It also generates gene expression time series in accordance with recent biological evidence. Finally, we modelled the role of microRNA mir-61 during vulval development and predict its contribution in stabilizing cell pattern formation.

[1]  Christopher R. Myers,et al.  Universally Sloppy Parameter Sensitivities in Systems Biology Models , 2007, PLoS Comput. Biol..

[2]  Monika Heiner,et al.  Application of Petri net based analysis techniques to signal transduction pathways , 2006, BMC Bioinformatics.

[3]  M. Sundaram,et al.  Vulval Development: The Battle between Ras and Notch , 2004, Current Biology.

[4]  Iva Greenwald,et al.  Endocytosis-mediated downregulation of LIN-12/Notch upon Ras activation in Caenorhabditis elegans , 2002, Nature.

[5]  J Kimble,et al.  Alterations in cell lineage following laser ablation of cells in the somatic gonad of Caenorhabditis elegans. , 1981, Developmental biology.

[6]  Thomas A. Henzinger,et al.  Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions , 2008, FMSB.

[7]  Thomas A. Henzinger,et al.  Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development , 2007, PLoS Comput. Biol..

[8]  Ina Koch,et al.  Petri net modelling of gene regulation of the Duchenne muscular dystrophy , 2008, Biosyst..

[9]  Paul W. Sternberg,et al.  The combined action of two intercellular signaling pathways specifies three cell fates during vulval induction in C. elegans , 1989, Cell.

[10]  Monika Heiner,et al.  A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets , 2007, CMSB.

[11]  A. Hajnal,et al.  Notch Inhibition of RAS Signaling Through MAP Kinase Phosphatase LIP-1 During C. elegans Vulval Development , 2001, Science.

[12]  Min Han,et al.  SynMuv genes redundantly inhibit lin-3/EGF expression to prevent inappropriate vulval induction in C. elegans. , 2006, Developmental cell.

[13]  Alex Hajnal,et al.  The C. elegans homolog of the mammalian tumor suppressor Dep-1/Scc1 inhibits EGFR signaling to regulate binary cell fate decisions. , 2005, Genes & development.

[14]  Iva Greenwald,et al.  LIN-12/Notch trafficking and regulation of DSL ligand activity during vulval induction in Caenorhabditis elegans , 2005, Development.

[15]  H. Horvitz,et al.  The lin-12 locus specifies cell fates in caenorhabditis elegans , 1983, Cell.

[16]  Hiroshi Matsuno,et al.  Petri Net Based Descriptions for Systematic Understanding of Biological Pathways , 2006, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[17]  David Harel,et al.  Computational insights into Caenorhabditis elegans vulval development. , 2005, Proceedings of the National Academy of Sciences of the United States of America.

[18]  Amir Pnueli,et al.  Formal Modeling of C. elegans Development: A Scenario-Based Approach , 2003, CMSB.

[19]  William H. Sanders,et al.  Möbius: an integrated discrete-event modeling environment , 2007, Bioinform..

[20]  Xiaoyun Sun,et al.  Computational modeling of Caenorhabditis elegans vulval induction , 2007, ISMB/ECCB.

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

[22]  Paul W Sternberg,et al.  Intercellular coupling amplifies fate segregation during Caenorhabditis elegans vulval development , 2006, Proceedings of the National Academy of Sciences of the United States of America.

[23]  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.

[24]  Masao Nagasaki,et al.  Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension , 2009, BMC Systems Biology.

[25]  Henri E. Bal,et al.  Design Issues for Qualitative Modelling of Biological Cells with Petri Nets , 2008, FMSB.

[26]  J. Sulston,et al.  Post-embryonic cell lineages of the nematode, Caenorhabditis elegans. , 1977, Developmental biology.

[27]  Jerzy Tiuryn,et al.  Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[28]  Falk Schreiber,et al.  Analysis of Biological Networks , 2008 .

[29]  Russ B. Altman,et al.  Research Paper: Using Petri Net Tools to Study Properties and Dynamics of Biological Systems , 2004, J. Am. Medical Informatics Assoc..

[30]  H. Horvitz,et al.  The multivulva phenotype of certain Caenorhabditis elegans mutants results from defects in two functionally redundant pathways. , 1989, Genetics.

[31]  Paul W. Sternberg,et al.  Pattern formation during vulval development in C. elegans , 1986, Cell.

[32]  C. Petri.  Kommunikation mit Automaten , 1962 .

[33]  Ning Chen,et al.  The lateral signal for LIN-12/Notch in C. elegans vulval development comprises redundant secreted and transmembrane DSL proteins. , 2004, Developmental cell.

[34]  A. Yoo,et al.  LIN-12/Notch Activation Leads to MicroRNA-Mediated Down-Regulation of Vav in C. elegans , 2005, Science.

[35]  Xantha Karp,et al.  Encountering MicroRNAs in Cell Fate Signaling , 2005, Science.

[36]  Hans-Dieter Burkhard.  On priorities of parallelism , 1980, Logic of Programs.

[37]  Iva Greenwald,et al.  Crosstalk Between the EGFR and LIN-12/Notch Pathways in C. elegans Vulval Development , 2004, Science.

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

[39]  H. Horvitz,et al.  Caenorhabditis elegans ras gene let-60 acts as a switch in the pathway of vulval induction , 1990, Nature.

[40]  Alfred Nordheim,et al.  Antibodies against Z DNA react with the macronucleus but not the micronucleus of the hypotrichous ciliate stylonychia mytilus , 1983, Cell.

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