Článek ve sborníku konference

ČEŠKA Milan, ČEŠKA Milan a 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, s. 38-46. ISBN 978-3-319-74727-9.
Jazyk publikace:angličtina
Název publikace:Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters
Název (cs):Syntéza Parametrů pro Stochastické Petriho Sítě
Strany:38-46
Sborník:Proceedings of 16th International Conference on Computer Aided Systems Theory
Konference:Sixteenth International Conference on Computer Aided Systems Theory
Řada knih:LNCS volume 10672
Místo vydání:Heidelberg, DE
Rok:2017
ISBN:978-3-319-74727-9
Vydavatel:Springer Verlag
Klíčová slova
parameter synthesis
Stochastic Petri Nets
continuous-time Markov Chains
tmeporal logic
Anotace
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.
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.cs?id=11302}
}

Vaše IPv4 adresa: 54.157.61.68
Přepnout na https