Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F17%3APU127270" target="_blank" >RIV/00216305:26230/17:PU127270 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-74727-9_5" target="_blank" >http://dx.doi.org/10.1007/978-3-319-74727-9_5</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-74727-9_5" target="_blank" >10.1007/978-3-319-74727-9_5</a>
Alternative languages
Result language
angličtina
Original language name
Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters
Original language description
We consider the problem of synthesising parameters affecting transition rates and probabilities in generalised Stochastic Petri Nets (GSPNs). Given a time-bounded property expressed as a probabilisitic temporal logic formula, our method allows computing the parameters values for which the probability of satisfying the property meets a given bound, or is optimised. We develop algorithms based on reducing the parameter synthesis problem for GSPNs to the corresponding problem for continuous-time Markov Chains (CTMCs), for which we can leverage existing synthesis algorithms, while retaining the modelling capabilities and expressive power of GSPNs. We evaluate the usefulness of our approach by synthesising parameters for two case studies.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of 16th International Conference on Computer Aided Systems Theory
ISBN
978-3-319-74726-2
ISSN
—
e-ISSN
—
Number of pages
9
Pages from-to
38-46
Publisher name
Springer Verlag
Place of publication
Heidelberg
Event location
Las Palmas de Gran Canaria
Event date
Feb 19, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000531202800005