Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle.
BACKGROUND
To understand the behaviour of complex biological regulatory networks, a proper integration of molecular data into a full-fledge formal dynamical model is ultimately required. As most available data on regulatory interactions are qualitative, logical modelling offers an interesting framework to delineate the main dynamical properties of the underlying networks.


RESULTS
Transposing a generic model of the core network controlling the mammalian cell cycle into the logical framework, we compare different strategies to explore its dynamical properties. In particular, we assess the respective advantages and limits of synchronous versus asynchronous updating assumptions to delineate the asymptotical behaviour of regulatory networks. Furthermore, we propose several intermediate strategies to optimize the computation of asymptotical properties depending on available knowledge.


BACKGROUND
The mammalian cell cycle model is available in a dedicated XML format (GINML) on our website, along with our logical simulation software GINsim (http://gin.univ-mrs.fr/GINsim). Higher resolution state transitions graphs are also found on this web site (Model Repository page).
Fauré
Adrien
A
Institut de Biologie du Développement de Marseille-Luminy, Campus scientifique de Luminy, CNRS case 907, 13288 Marseille, France.
Naldi
Aurélien
A
Chaouiya
Claudine
C
Thieffry
Denis
D
D000818:Animals; D002453:Cell Cycle / Q000502:physiology*; D018797:Cell Cycle Proteins / Q000378:metabolism*; D003198:Computer Simulation; D005786:Gene Expression Regulation / Q000502:physiology*; D006801:Humans; D007700:Kinetics; D016015:Logistic Models; D008954:Models, Biological; D050436:Regulatory Elements, Transcriptional / Q000502:physiology*; D015398:Signal Transduction / Q000502:physiology*; D014157:Transcription Factors / Q000378:metabolism*
D018797:Cell Cycle Proteins; D014157:Transcription Factors