rPrism -A software for reactive weighted state transition models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

rPrism -A software for reactive weighted state transition models

Résumé

In this work we introduce the software rPrism, as a branch of the software PRISM model checker, in order to be able to study weighted reactive state transition models. This kind of model gathers together the concepts of reactivity-which consists of the capacity of a state transition model to alter its accessibility relation-and weights, which can be seen as costs, rates, etc.. Given a specific model, the tool performs a simulation based on a Continuous Time Markov Chain. In particular, we show an example of its application for biological systems.

Domaines

Automatique
Fichier principal
Vignette du fichier
Tool_paper-web-format.pdf (557.4 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02386381 , version 1 (29-11-2019)

Identifiants

  • HAL Id : hal-02386381 , version 1

Citer

Daniel Figueiredo, Eugénio Rocha, Manuel A. Martins, Madalena Chaves. rPrism -A software for reactive weighted state transition models. HSB 2019 - 6th International Workshop, Hybrid Systems Biology, Apr 2019, Prague, Czech Republic. pp.165 - 174. ⟨hal-02386381⟩
66 Consultations
75 Téléchargements

Partager

Gmail Facebook X LinkedIn More