biostudies-otherUnknown32Pauline TraynardBioinformatics (Oxford, England)i772-i780https://www.ebi.ac.uk/biostudies/studies/MODEL1611230001biostudies-other27587700Pauline TraynardfalseTraynard2016 - Mammalian cell cycle regulation - Logical Model<notes xmlns="http://www.sbml.org/sbml/level3/version1/core"> <body xmlns="http://www.w3.org/1999/xhtml"> <div class="dc:title">Traynard2016 - Mammalian cell cycleregulation - Logical Model</div><div class="dc:bibliographicCitation"> <p>This model is described in the article:</p> <div class="bibo:title"> <a href="http://identifiers.org/pubmed/27587700" title="Access to this publication">Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation.</a> </div> <div class="bibo:authorList">Traynard P, Fauré A, Fages F, Thieffry D.</div> <div class="bibo:Journal">Bioinformatics 2016 Sep; 32(17): i772-i780</div> <p>Abstract:</p> <div class="bibo:abstract"> <p>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.</p> </div></div><div class="dc:publisher"> <p>This model is hosted on <a href="http://www.ebi.ac.uk/biomodels/">BioModels Database</a> and identified by: <a href="http://identifiers.org/biomodels.db/MODEL1611230001">MODEL1611230001</a>.</p> <p>To cite BioModels Database, please use: <a href="http://identifiers.org/pubmed/20587024" title="Latest BioModels Database publication">BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models</a>.</p></div><div class="dc:license"> <p>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 <a href="http://creativecommons.org/publicdomain/zero/1.0/" title="Access to: CC0 1.0 Universal (CC0 1.0), Public Domain Dedication">CC0 Public Domain Dedication</a> for more information.</p></div></body> </notes>2016-11-23T00:00:00Z2025-07-14T17:55:35.469Z2025-03-30T22:39:00.774ZMODEL161123000127587700MAMO_0000030null