title: Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle.
abstract: 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).
authors.affiliation: Institut de Biologie du Développement de Marseille-Luminy, Campus scientifique de Luminy, CNRS case 907, 13288 Marseille, France.
authors.forename: Adrien
authors.initials: A
authors.lastname: Fauré
authors.forename: Aurélien
authors.initials: A
authors.lastname: Naldi
authors.forename: Claudine
authors.initials: C
authors.lastname: Chaouiya
authors.forename: Denis
authors.initials: D
authors.lastname: Thieffry
mesh_terms: 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*
chemical_list: D018797:Cell Cycle Proteins; D014157:Transcription Factors