Detail publikace

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters

ČEŠKA, M.; ČEŠKA, M.; PAOLETTI, N. Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. In Proceedings of 16th International Conference on Computer Aided Systems Theory. LNCS volume 10672. Heidelberg: Springer Verlag, 2017. p. 38-46. ISBN: 978-3-319-74726-2.
Název česky
Syntéza Parametrů pro Stochastické Petriho Sítě
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
Češka Milan, prof. RNDr., CSc.
Paoletti Nicola
Klíčová slova

parameter synthesis
Stochastic Petri Nets
continuous-time Markov Chains
tmeporal logic

Abstrakt

V článku navrhujeme algoritmus pro syntézu parametrů ve stochastických Petriho sítích. Algoritmus redukuje problém syntézy parametrů v Petriho sítích na odpovídající problém pro Markovovy modely, pro který využíváme existující metody.

Rok
2017
Strany
38–46
Sborník
Proceedings of 16th International Conference on Computer Aided Systems Theory
Řada
LNCS volume 10672
Konference
Sixteenth International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES
ISBN
978-3-319-74726-2
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-319-74727-9_5
UT WoS
000531202800005
EID Scopus
2-s2.0-85041730501
BibTeX 
@inproceedings{BUT146256,
  author="Milan {Češka} and Milan {Češka} and Nicola {Paoletti}",
  title="Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters",
  booktitle="Proceedings of 16th International Conference on Computer Aided Systems Theory",
  year="2017",
  series="LNCS volume 10672",
  pages="38--46",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-319-74727-9\{_}5",
  isbn="978-3-319-74726-2"
}
Nahoru