Analysis of aa-tRNA competition: An application of Prism in systems biology

Day - Time: 25 November 2011, h.11:00
Place: Area della Ricerca CNR di Pisa - Room: C-29
  • Erik de Vink (Eindhoven University of Technology & CWI Amsterdam, The Netherlands)

Maurice Henri ter Beek


We present a formal analysis of ribosome kinetics using probabilistic model checking with the tool Prism. We compute different parameters of the model, like probabilities of translation errors and average insertion times per codon. The model predicts a strong correlation to the quotient of the concentrations of the so-called cognate and near-cognate tRNAs, in accord with experimental findings and other studies. Using piecewise analysis of the model, we are able to give an analytical explanation of this observation.