Logical modeling of the mammalian cell cycle

Abstract : Proper understanding of the behavior of complex biological regulatory networks requires the integration of heterogeneous data into predictive mathematical models. Logical modeling focuses on qualitative data and offers a flexible framework to delineate the main dynamical properties of such networks. However, formal analysis faces a combinatorial explosion as the number of regulatory components and interactions increases. Here, we show how model-checking techniques can be used to verify sophisticated dynamical properties resulting from model regulatory structure. We demonstrate the power of this approach through the updating of a model of the molecular network controlling mammalian cell cycle. We use model-checking to progressively refine this 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [39 references]  Display  Hide  Download

Contributor : Pauline Traynard <>
Submitted on : Friday, December 18, 2015 - 5:21:14 PM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Long-term archiving on : Saturday, April 29, 2017 - 10:03:02 PM


Files produced by the author(s)


  • HAL Id : hal-01246595, version 1



Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry. Logical modeling of the mammalian cell cycle. 2015. ⟨hal-01246595⟩



Record views


Files downloads