Please use this identifier to cite or link to this item:
Title: rPrism: a software for reactive weighted state transition models
Author: Figueiredo, Daniel
Rocha, Eugénio
Martins, Manuel A.
Chaves, Madalena
Keywords: rPrism
PRISM model checker
Reactive models
Weighted switch graphs
Issue Date: 2019
Publisher: Springer, Cham
Abstract: 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 speci c 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.
Peer review: yes
DOI: 10.1007/978-3-030-28042-0
ISBN: 978-3-030-28041-3
Appears in Collections:CIDMA - Capítulo de livro
AGG - Capítulo de livro

Files in This Item:
File Description SizeFormat 
HSB_RIA.pdf581.53 kBAdobe PDFView/Open

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.