Where academic tradition
meets the exciting future

Quantitative Model Refinement for Guarded Command Models

Sepinoud Azimi, Ion Petre, Quantitative Model Refinement for Guarded Command Models. In: Marian Gheorghe, Ion Petre, Mario J. Perez-Jimenez, Grzegorz Rozenberg, Arto Salomaa (Eds.), Multidisciplinary Creativity, 196–206, Spandugino, 2015.


We consider in this paper the modeling of biological systems
with guarded command models. We focus on the model refinement problem: to systematically add details to the variables of a model and thus, to dynamically specify a model at different levels of detail. We introduce a notion of refinement for guarded command models and prove that it is a natural extension of the model refinement concept for reaction-based models. We demonstrate these concepts with a a running example on the
heat shock response.


Full publication in PDF-format

BibTeX entry:

  title = {Quantitative Model Refinement for Guarded Command Models},
  booktitle = {Multidisciplinary Creativity},
  author = {Azimi, Sepinoud and Petre, Ion},
  editor = {Gheorghe, Marian and Petre, Ion and Perez-Jimenez, Mario J. and Rozenberg, Grzegorz and Salomaa, Arto},
  publisher = {Spandugino},
  pages = {196–206},
  year = {2015},

Belongs to TUCS Research Unit(s): Computational Biomodeling Laboratory (Combio Lab)

Edit publication