On the Implementation of Quantitative Model Refinement

Bogdan Iancu, Diana-Elena Gratie, Sepinoud Azimi Rashti, Ion Petre

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    5 Citeringar (Scopus)

    Sammanfattning

    The iterative process of adding details to a model while preserving its numerical behavior is calledquantitative model refinement, and it has been previously discussed for ODE-based models and forkappa-based models. In this paper, we investigate and compare this approach in three different modeling frameworks: rule-based modeling, Petri nets and guarded command languages. As case study we use a model for the eukaryotic heat shock response that we refine to include the acetylation of the heat shock factor. We discuss how to perform the refinement in each of these frameworks in order to avoid the combinatorial state explosion of the refined model. We conclude that Bionetgen (and rule-based modeling in general) is well-suited for a compact representation of the refined model, Petri nets offer a good solution through the use of colors, while the PRISM refined model may be much larger than the basic model.
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationAlgorithms for Computational Biology
    RedaktörerA Dediu, C Vide, B Truthe
    FörlagSpringer
    Sidor95–106
    ISBN (elektroniskt)978-3-319-07953-0
    ISBN (tryckt)978-3-319-07952-3
    DOI
    StatusPublicerad - 2014
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2014-07-01; 2014-07-03 - Tarragona, Spain
    Varaktighet: 1 jul 20143 jul 2014

    Konferens

    Konferensconference; 2014-07-01; 2014-07-03
    Period01/07/1403/07/14

    Citera det här