An analysis of irreversible transitions in a model of the buddying yeast cell cycle

Cells life follows a cycling behaviour which starts at cell birth and leads to cell division through a number of distinct phases. The transitions through the various cell cycle phases are controlled by a complex network of signalling pathways. Many cell cycle transitions are irreversible: once they are started they must reach completion. In this study we investigate the existence of conditions which lead to cases when irreversibility may be broken. Specifically, we characterise the elements of the cell cycle signalling network that are responsible for the irreversibility and we determine conditions for which the irreversible transitions may become reversible. We illustrate our results through a formal approach in which stochastic simulation analysis and model checking verification are combined. Through probabilistic model checking we provide a quantitative measure for the probability of irreversibility in the ``Start" transition of the cell cycle. This is the preliminary version of a paper that was published in Proceedings of the third International Workshop on Practical Applications of Stochastic Modelling (PASM 2008), ENTCS 232, pp. 39-53, 2009. (DOI:10.1016/j.entcs.2009.02.049)