Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/26499
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 |
URI: | http://hdl.handle.net/10773/26499 |
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 | Size | Format | |
---|---|---|---|---|
HSB_RIA.pdf | 581.53 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.