Studying Irreversible Transitions in a Model of Cell Cycle Regulation

Paolo Ballarini; Tommaso Mazza; Alida Palmisano; Attila Csikasz-Nagy

doi:10.1016/j.entcs.2009.02.049

Studying Irreversible Transitions in a Model of Cell Cycle Regulation

Paolo Ballarini, Tommaso Mazza, Alida Palmisano, Attila Csikasz-Nagy

Research output: Contribution to journal › Article › peer-review

10 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	39 - 53
Number of pages	15
Journal	Electronic Notes in Theoretical Computer Science
Volume	232
DOIs	https://doi.org/10.1016/j.entcs.2009.02.049
Publication status	Published - 2009

Keywords

Stochastic Simulation

Access to Document

10.1016/j.entcs.2009.02.049

http://www.sciencedirect.com/science/article/pii/S1571066109000541

Cite this

@article{e3d16e5abe23418087342991a0979d74,

title = "Studying Irreversible Transitions in a Model of Cell Cycle Regulation",

abstract = "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.",

keywords = "Stochastic Simulation",

author = "Paolo Ballarini and Tommaso Mazza and Alida Palmisano and Attila Csikasz-Nagy",

note = "<ce:title>Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling (PASM 2008)</ce:title>",

year = "2009",

doi = "10.1016/j.entcs.2009.02.049",

language = "English",

volume = "232",

pages = "39 -- 53",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Studying Irreversible Transitions in a Model of Cell Cycle Regulation

AU - Ballarini, Paolo

AU - Mazza, Tommaso

AU - Palmisano, Alida

AU - Csikasz-Nagy, Attila

N1 - <ce:title>Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling (PASM 2008)</ce:title>

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Stochastic Simulation

U2 - 10.1016/j.entcs.2009.02.049

DO - 10.1016/j.entcs.2009.02.049

M3 - Article

SN - 1571-0661

VL - 232

SP - 39

EP - 53

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

Studying Irreversible Transitions in a Model of Cell Cycle Regulation

Abstract

Keywords

Access to Document

Fingerprint

Cite this