ETAPS 2019 (series) / HSB 2019 (series) / 6th Workshop on Hybrid Systems & Biology /
rPrism -- A software for reactive weighted state transition models
In this work we introduce the software rPrism, as an 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 on 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.
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | |||
11:00 30mTalk | Fixed-point Computation of Equilibria in Biochemical Regulatory Networks HSB Isabel Cristina Perez-Verona IMT Institute for Advanced Studies Lucca, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy, Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy | ||
11:30 30mTalk | Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks HSB | ||
12:00 30mTalk | rPrism -- A software for reactive weighted state transition models HSB Daniel Figueiredo University of Aveiro, Eugénio A. M. Rocha University of Aveiro, Madalena Chaves INRIA, Manuel A. Martins University of Aveiro |