Multilevel mammalian cell cycle model
Taxon: Mammal
Process: Cell cycle
Submitter: Pedro T. Monteiro
Supporting paper: Traynard, Pauline and Fauré, Adrien and Fages, François and Thieffry, Denis (2016). Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation. Bioinformatics. 10.1093/bioinformatics/btw457
| Model file(s) | Description(s) |
|---|---|
| Traynard_MultiLevel_MamCC_Apr2016.zginml | Multilevel GINsim model |
| Traynard_MultiLevel_MamCC_Apr2016.sbml | Multilevel SBMLqual model |
| Traynard_Boolean_MamCC_Apr2016.zginml | Boolean GINsim model |
| Traynard_Boolean_MamCC_Apr2016.sbml | Boolean SBMLqual model |
| Traynard_MultiLevel_MamCC_Apr2016_specsSMV.smv | NuSMV specification for multilevel model |
Summary:
This model is an extension of the seminal model of the G1/S restriction point
control of mammalian cell cycle, published by Fauré et al 1.
We used model-checking and computing tree logics (CTL) to progressively refine
Fauré's model in order to fit recent experimental observations. The resulting
model accounts for the sequential activation of cyclins, the role of Skp2, and
emphasizes a multifunctional role for the cell cycle inhibitor Rb.
We provide GINsim and SBML versions of the original multivalued model as well
as of a Boolean translation.
Furthermore, we provide a script containing the main NuSMV queries used in the article describing the methodology and the resulting revised model.
-
Adrien Fauré, Aurélien Naldi, Claudine Chaouiya, and Denis Thieffry. Dynamical analysis of a generic boolean model for the control of the mammalian cell cycle. Bioinformatics, 22(14):e124–e131, July 2006. doi:10.1093/bioinformatics/btl210. ↩