Studying Irreversible Transitions in a Model of Cell Cycle Regulation

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

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)39-53
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
Volume232
Issue numberC
DOIs
Publication statusPublished - Mar 26 2009

Fingerprint

Cell Cycle
Irreversibility
Cells
Model Checking
Model checking
Signaling Pathways
Stochastic Analysis
Cell Division
Cell
Stochastic Simulation
Cycling
Simulation Analysis
Probabilistic Model
Model
Complex Networks
Stochastic Model
Completion
Complex networks
Simulation Model
Distinct

Keywords

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Studying Irreversible Transitions in a Model of Cell Cycle Regulation. / Ballarini, Paolo; Mazza, Tommaso; Palmisano, Alida; Csikasz-Nagy, Attila.

In: Electronic Notes in Theoretical Computer Science, Vol. 232, No. C, 26.03.2009, p. 39-53.

Research output: Contribution to journalArticle

Ballarini, Paolo ; Mazza, Tommaso ; Palmisano, Alida ; Csikasz-Nagy, Attila. / Studying Irreversible Transitions in a Model of Cell Cycle Regulation. In: Electronic Notes in Theoretical Computer Science. 2009 ; Vol. 232, No. C. pp. 39-53.
@article{86731cad07a2450f8ddeb0f3bdc84387,
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 = "BlenX, Budding Yeast, Cell Cycle, Probabilistic Model Checking, Stochastic Simulation",
author = "Paolo Ballarini and Tommaso Mazza and Alida Palmisano and Attila Csikasz-Nagy",
year = "2009",
month = "3",
day = "26",
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",
number = "C",

}

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

PY - 2009/3/26

Y1 - 2009/3/26

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 - BlenX

KW - Budding Yeast

KW - Cell Cycle

KW - Probabilistic Model Checking

KW - Stochastic Simulation

UR - http://www.scopus.com/inward/record.url?scp=62649098816&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=62649098816&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2009.02.049

DO - 10.1016/j.entcs.2009.02.049

M3 - Article

VL - 232

SP - 39

EP - 53

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - C

ER -