Studying Irreversible Transitions in a Model of Cell Cycle Regulation

Electronic Notes in Theoretical Computer Science

Volumn 232, Issue C, 2009, Pages 39-53

  Ballarini, Paolo ^a   Mazza, Tommaso ^a   Palmisano, Alida ^a   Csikasz Nagy, Attila ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

BlenX; Budding Yeast; Cell Cycle; Probabilistic Model Checking; Stochastic Simulation

Indexed keywords

CELL PROLIFERATION; CELLS; COMPLEX NETWORKS; CYTOLOGY; MODEL CHECKING; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

BLENX; BUDDING YEASTS; CELL CYCLE; PROBABILISTIC MODEL CHECKING; STOCHASTIC SIMULATIONS;

CELL SIGNALING;

EID: 85042602230     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.02.049     Document Type: Article

References (23)

1. Aziz A., Sanwal K., Singhal V., and Brayton R. Model-checking continuous-time Markov chains. ACM Transactions on Computational Logic 1 (2000) 162-170
2. Baier C., Haverkort B., Hermann H., and Katoen J.-P. Model-checking algorithms for continuous-time Markov chains. IEEE Trans. on Software Eng. 29 (2003) 524-541
3. Chen K., Calzone L., Csikasz-Nagy A., Cross F., Novak B., and Tyson J. Integrative analysis of cell cycle control in budding yeast. Mol Biol Cell 15 (2004)
4. Chen K., Csikasz-Nagy A., Gyorffy B., Val J., Novak B., and Tyson J. Kinetic analysis of a molecular model of the budding yeast cell cycle. Mol Biol Cell 11 (2000)
5. Clarke E., Grumberg O., and Peled D. Model Checking (1999), MIT Press
6. Cross F., Archambault V., Miller M., and Klovstad M. Testing a mathematical model for the yeast cell cycle. Mol Biol Cell 13 (2002) 52-70
7. Dematté, L. and T. Mazza, On Parallel Stochastic Simulation of Diffusive Systems, Proceedings of the sixth International Conference on Computational Methods in Systems Biology (CMSB2008) LNBI 5307 (2008), pp. 191-210
8. Dematté, L., C. Priami and A. Romanel, The Beta Workbench: a computational tool to study the dynamics of biological systems, Briefings in Bioinformatics (2008)
9. Dematté L., Priami C., and Romanel A. The BlenX Language: a tutorial. LNCS Number 5016 (2008), Springer-Verlag 313-365
10. Entacher K., Uhl A., and Wegenkittl S. Linear congruential generators for parallel monte-carlo: the leap-frog case. Monte Carlo Methods and Applications 4 (1998) 1-16
11. Ewing, G., D. McNickle and L. Pawlikowski, Multiple replications in parallel: Distributed generation of data for speeding up quantitative stochastic simulation, Proceedings of the 15th Congress of Int. Association for Matemathics and Computer in Simulation (1997)
12. Fall P., Marland E., Wagner J., and Tyson J. Computational Cell Biology. Interdisciplinary Applied Mathematics (1999)
13. Glynn P., and Heidelberger P. Analysis of parallel replicated simulations under a completion time constraint. ACM TOMACS 1 1 (1991) 3-23
14. Hansson, HA. and B. Jonsson, A framework for reasoning about time and reliability, in: Proc. 10th IEEE Real-Time Systems Symposium (1989), pp. 102-111
15. Kwiatkowska, MZ., G. Norman and D. Parker, Probabilistic symbolic model checking with prism: A hybrid approach, in: TACAS '02: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2002), pp. 52-66
16. Morgan D. Principles of cdk regulation. Nature (1995) 131-134
17. Morgan D. The cell cycle: Principles of control (2006), New Science Press
18. Mura, I. and A. Csikasz-Nagy, Stochastic Petri Net Extension of a Yeast Cell Cycle Model, Journal of Theoretical Biology (2008 (in press)), doi:10.1016/j.jtbi.2008.07.019
19. Novak B., Gyorffy A.C.-N.B., Nasmyth K., and Tyson J. Model scenarios for evolution of the eukaryotic cell cycle. Phil Trans R Soc Lond B 353 (1998) 2063-2076
20. Novak B., Tyson J., Gyorffy B., and Csikasz-Nagy A. Irreversible cell-cycle transitions are due to systems-level feedback. Nat Cell Biol 9 (2007) 724-728
21. Palmisano, A., I. Mura and C. Priami, From Odes to Language-based, executable models of Biological Systems, Proceedings of Pacific Symposium on Biocomputing 2009 (PSB 2009) (To appear, 2009)
22. Stewart W.J. Introduction to numerical solution of Markov Chains (1994), Princeton
23. Zachariae W., and Nasmyth K. Whose end is destruction: cell division and the anaphase-promoting complex. Genes Dev 13 (1999) 2039-2058