Conference paper

ČEŠKA Milan, ČEŠKA Milan and PAOLETTI Nicola. Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters. In: Proceedings of 16th International Conference on Computer Aided Systems Theory. Heidelberg: Springer Verlag, 2017, pp. 38-46. ISBN 978-3-319-74727-9.
Publication language:english
Original title:Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters
Title (cs):Syntéza Parametrů pro Stochastické Petriho Sítě
Pages:38-46
Proceedings:Proceedings of 16th International Conference on Computer Aided Systems Theory
Conference:Sixteenth International Conference on Computer Aided Systems Theory
Series:LNCS volume 10672
Place:Heidelberg, DE
Year:2017
ISBN:978-3-319-74727-9
Publisher:Springer Verlag
Keywords
parameter synthesis
Stochastic Petri Nets
continuous-time Markov Chains
tmeporal logic
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Milan {\v{C}}e{\v{s}}ka and
	Nicola Paoletti},
   title = {Precise Parameter Synthesis for Stochastic Petri Nets with
	Interval Rate Parameters},
   pages = {38--46},
   booktitle = {Proceedings of 16th International Conference on Computer
	Aided Systems Theory},
   series = {LNCS volume 10672},
   year = {2017},
   location = {Heidelberg, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-319-74727-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=11302}
}

Your IPv4 address: 23.20.223.212
Switch to IPv6 connection

DNSSEC [dnssec]