Dataset Information

Traynard2016 - Mammalian cell cycle regulation - Logical Model

ABSTRACT: Traynard2016 - Mammalian cell cycle regulation - Logical Model This model is described in the article: Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation. Traynard P, Fauré A, Fages F, Thieffry D. Bioinformatics 2016 Sep; 32(17): i772-i780 Abstract: Understanding the temporal behaviour of biological regulatory networks requires the integration of molecular information into a formal model. However, the analysis of model dynamics faces a combinatorial explosion as the number of regulatory components and interactions increases.We use model-checking techniques to verify sophisticated dynamical properties resulting from the model regulatory structure in the absence of kinetic assumption. We demonstrate the power of this approach by analysing a logical model of the molecular network controlling mammalian cell cycle. This approach enables a systematic analysis of model properties, the delineation of model limitations, and the assessment of various refinements and extensions based on recent experimental observations. The resulting logical model accounts for the main irreversible transitions between cell cycle phases, the sequential activation of cyclins, and the inhibitory role of Skp2, and further emphasizes the multifunctional role for the cell cycle inhibitor Rb.The original and revised mammalian cell cycle models are available in the model repository associated with the public modelling software GINsim (http://ginsim.org/node/189).thieffry@ens.frSupplementary data are available at Bioinformatics online. This model is hosted on BioModels Database and identified by: MODEL1611230001. To cite BioModels Database, please use: BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models. To the extent possible under law, all copyright and related or neighbouring rights to this encoded model have been dedicated to the public domain worldwide. Please refer to CC0 Public Domain Dedication for more information.

SUBMITTER: Pauline Traynard

PROVIDER: MODEL1611230001 | BioModels | 2016-11-29

REPOSITORIES: BioModels

ACCESS DATA

Dataset's files

Source:

			Action	DRS
	MODEL1611230001?filename=MODEL1611230001-biopax2.owl	Owl
	MODEL1611230001?filename=MODEL1611230001-biopax3.owl	Owl
	MODEL1611230001?filename=MODEL1611230001.m	Other
	MODEL1611230001?filename=MODEL1611230001.pdf	Pdf
	MODEL1611230001?filename=MODEL1611230001.png	Other

Items per page:

1 - 5 of 11

Publications

Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation.

Traynard Pauline P Fauré Adrien A Fages François F Thieffry Denis D

Bioinformatics (Oxford, England) 20160901 17

<h4>Motivation</h4>Understanding the temporal behaviour of biological regulatory networks requires the integration of molecular information into a formal model. However, the analysis of model dynamics faces a combinatorial explosion as the number of regulatory components and interactions increases.<h4>Results</h4>We use model-checking techniques to verify sophisticated dynamical properties resulting from the model regulatory structure in the absence of kinetic assumption. We demonstrate the powe ...[more]

PMID: 27587700

Similar Datasets

Project description:Collombet2016 - Lymphoid and myeloid cell specification and transdifferentiation This model is described in the article: Logical modeling of lymphoid and myeloid cell specification and transdifferentiation Samuel Collombet, Chris van Oevelen, Jose Luis Sardina Ortega, Wassim Abou-Jaoudé, Bruno Di Stefano, Morgane Thomas-Chollier, Thomas Graf, and Denis Thieffry Proceedings of the National Academy of Sciences of the United States of America Abstract: Blood cells are derived from a common set of hematopoietic stem cells, which differentiate into more specific progenitors of the myeloid and lymphoid lineages, ultimately leading to differentiated cells. This developmental process is controlled by a complex regulatory network involving cytokines and their receptors, transcription factors, and chromatin remodelers. Using public data and data from our own molecular genetic experiments (quantitative PCR, Western blot, EMSA) or genome-wide assays (RNA-sequencing, ChIP-sequencing), we have assembled a comprehensive regulatory network encompassing the main transcription factors and signaling components involved in myeloid and lymphoid development. Focusing on B-cell and macrophage development, we defined a qualitative dynamical model recapitulating cytokine-induced differentiation of common progenitors, the effect of various reported gene knockdowns, and the reprogramming of pre-B cells into macrophages induced by the ectopic expression of specific transcription factors. The resulting network model can be used as a template for the integration of new hematopoietic differentiation and transdifferentiation data to foster our understanding of lymphoid/myeloid cell-fate decisions. This model is hosted on BioModels Database and identified by: MODEL1610240000. To cite BioModels Database, please use: BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models. To the extent possible under law, all copyright and related or neighbouring rights to this encoded model have been dedicated to the public domain worldwide. Please refer to CC0 Public Domain Dedication for more information.

Project description:Mbodj2016 - Mesoderm specification during Drosophila development This model is described in the article: Qualitative Dynamical Modelling Can Formally Explain Mesoderm Specification and Predict Novel Developmental Phenotypes. Mbodj A, Gustafson EH, Ciglar L, Junion G, Gonzalez A, Girardot C, Perrin L, Furlong EE, Thieffry D. PLoS Comput. Biol. 2016 Sep; 12(9): e1005073 Abstract: Given the complexity of developmental networks, it is often difficult to predict the effect of genetic perturbations, even within coding genes. Regulatory factors generally have pleiotropic effects, exhibit partially redundant roles, and regulate highly interconnected pathways with ample cross-talk. Here, we delineate a logical model encompassing 48 components and 82 regulatory interactions involved in mesoderm specification during Drosophila development, thereby providing a formal integration of all available genetic information from the literature. The four main tissues derived from mesoderm correspond to alternative stable states. We demonstrate that the model can predict known mutant phenotypes and use it to systematically predict the effects of over 300 new, often non-intuitive, loss- and gain-of-function mutations, and combinations thereof. We further validated several novel predictions experimentally, thereby demonstrating the robustness of model. Logical modelling can thus contribute to formally explain and predict regulatory outcomes underlying cell fate decisions. This model is hosted on BioModels Database and identified by: MODEL1607310000. To cite BioModels Database, please use: BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models. To the extent possible under law, all copyright and related or neighbouring rights to this encoded model have been dedicated to the public domain worldwide. Please refer to CC0 Public Domain Dedication for more information.

Project description:Mammalian heart development is built on highly conserved molecular mechanisms with polygenetic perturbations resulting in a spectrum of congenital heart diseases (CHD). However, the transcriptional landscape of cardiogenic ontogeny that regulates proper cardiogenesis remains largely based on candidate-gene approaches. Herein, we designed a time-course transcriptome analysis to investigate the genome-wide expression profile of innate murine cardiogenesis ranging from embryonic stem cells to adult cardiac structures. This comprehensive analysis generated temporal and spatial expression profiles, prioritized stage-specific gene functions, and mapped the dynamic transcriptome of cardiogenesis to curated pathways. Reconciling the bioinformatics of the congenital heart disease interactome, we deconstructed disease-centric regulatory networks encoded within this cardiogenic atlas to reveal stage-specific developmental disturbances clustered on epithelial-to-mesenchymal transition (EMT), BMP regulation, NF-AT signaling, TGFb-dependent induction, and Notch signaling. Therefore, this cardiogenic transcriptional landscape defines the time-dependent expression of cardiac ontogeny and prioritizes regulatory networks at the interface between health and disease. To interrogate the temporal and spatial expression profiles across the entire genome during mammalian heart development, we designed a time-course microarray experiment using the mouse model at defined stages of cardiogenesis, starting with embryonic stem cells (ESC, R1 stem cell line), early embryonic developmental stages: E7.5 whole embryos, E8.5 heart tubes, left and right ventricle tissues at E9.5, E12.5, E14.5, E18.5 to 3 days after birth (D3) and adult heart (Figure 1A). At each time point, microarray experiments were performed on triplicate biological samples. Starting at E9.5, tissue samples from left ventricles (LV) and right ventricles (RV) were microdissected for RNA purification and microarray analysis to determine spatially differential gene expression between LV and RV during heart development.

Project description:This is the extended model described the article: Bifurcation analysis of the regulatory modules of the mammalian G1/S transition. Swat M, Kel A, Herzel H. Bioinformatics 2004 Jul 10;20(10):1506-11. PMID: 15231543 , doi: 10.1093/bioinformatics/bth110 Abstract: MOTIVATION: Mathematical models of the cell cycle can contribute to an understanding of its basic mechanisms. Modern simulation tools make the analysis of key components and their interactions very effective. This paper focuses on the role of small modules and feedbacks in the gene-protein network governing the G1/S transition in mammalian cells. Mutations in this network may lead to uncontrolled cell proliferation. Bifurcation analysis helps to identify the key components of this extremely complex interaction network. RESULTS: We identify various positive and negative feedback loops in the network controlling the G1/S transition. It is shown that the positive feedback regulation of E2F1 and a double activator-inhibitor module can lead to bistability. Extensions of the core module preserve the essential features such as bistability. The complete model exhibits a transcritical bifurcation in addition to bistability. We relate these bifurcations to the cell cycle checkpoint and the G1/S phase transition point. Thus, core modules can explain major features of the complex G1/S network and have a robust decision taking function. This model originates from BioModels Database: A Database of Annotated Published Models. It is copyright (c) 2005-2010 The BioModels Team. To the extent possible under law, all copyright and related or neighbouring rights to this encoded model have been dedicated to the public domain worldwide. Please refer to CC0 Public Domain Dedication for more information. In summary, you are entitled to use this encoded model in absolutely any manner you deem suitable, verbatim, or with modification, alone or embedded it in a larger context, redistribute it, commercially or not, in a restricted way or not.. To cite BioModels Database, please use Le Novère N., Bornstein B., Broicher A., Courtot M., Donizelli M., Dharuri H., Li L., Sauro H., Schilstra M., Shapiro B., Snoep J.L., Hucka M. (2006) BioModels Database: A Free, Centralized Database of Curated, Published, Quantitative Kinetic Models of Biochemical and Cellular Systems Nucleic Acids Res., 34: D689-D691.

Project description:This 89-node Boolean model of mammalian growth factor signaling can reproduce oscillations in PI3K signaling in cycling cells, and links these oscillations to the regulatory networks that drive each phase of cell cycle progression, as well as apoptosis. It builds on our previous work on modeling cell cycle progression as the interaction of two linked multi-stable switches (Deritei et al, Sci Rep 6:21957, 2016) and extends it to capture the role of Plk1 in cell cycle progression. The resulting model reproduces the following experimentally documented cell behaviors: — cyclic PI3K/AKT1 activity in dividing cells, which remain in sync with the cell cycle — apoptosis in response to prolonged mitosis or mitotic catastrophe — four distinct, experimentally documented cell fates caused by Plk1 inhibition, depending on the timing of Plk1 loss; namely, G2 arrest, mitotic catastrophe, premature anaphase and chromosome mis-segregation leading to aneuploidy, and failure to complete cytokinesis following telophase, which can lead to genome duplication — failure of cytokinesis and accumulation of binucleate telophase cells driven by hyperactive PI3K, hyperactive Ak1, or FoxO inhibition. — the effect of a large number of knockdown / forced activation mutations Testable predictions: — PI3K degradation in response to high PI3K activation is driven by the Neddl4 ubiquitin ligase activated by PLCγ, while its re-synthesis requires nuclear re-accumulation of FoxO3. — The degradation/re-synthesis cycle of PI3K occurs twice per division cycle, synchronized by Plk1-mediated inhibition of FoxO3 during metaphase/anaphase. — Cells in which PI3K is inhibited after the start of DNA synthesis can nevertheless pre-commit to another cell cycle in the presence of saturating growth stimulation (passing the restriction point in late metaphase), albeit at lower rates than wild-type cells. — Cell cycle defects in response to PI3K/Ak1 over-activation or FoxO knockdown are driven by a loss of Plk1 in telophase.