Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation

Abstract : Motivation: 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. Results: 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.
Type de document :
Article dans une revue
Bioinformatics, Oxford University Press (OUP), 2016, 32 (17), pp.i772-i780. 〈10.1093/bioinformatics/btw457〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01378465
Contributeur : Sylvain Soliman <>
Soumis le : mardi 20 décembre 2016 - 14:10:07
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
Document(s) archivé(s) le : mardi 28 mars 2017 - 02:20:29

Fichiers

Traynard_ECCB_9Jun2016_black.p...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry. Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation. Bioinformatics, Oxford University Press (OUP), 2016, 32 (17), pp.i772-i780. 〈10.1093/bioinformatics/btw457〉. 〈hal-01378465〉

Partager

Métriques

Consultations de la notice

521

Téléchargements de fichiers

256