On time-average limits in deterministic and stochastic Petri
nets

D 2013

On time-average limits in deterministic and stochastic Petri nets

BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Jan KŘETÍNSKÝ, Vojtěch ŘEHÁK et. al.

Základní údaje

Originální název

On time-average limits in deterministic and stochastic Petri nets

Autoři

BRÁZDIL, Tomáš (203 Česká republika, domácí), Ľuboš KORENČIAK (703 Slovensko, domácí), Jan KRČÁL (203 Česká republika, domácí), Jan KŘETÍNSKÝ (203 Česká republika, garant, domácí) a Vojtěch ŘEHÁK (203 Česká republika, domácí)

Vydání

New York, ACM/SPEC International Conference on Performance Engineering, ICPE'13, od s. 421-422, 2 s. 2013

Nakladatel

ACM

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Kód RIV

RIV/00216224:14330/13:00066145

Organizační jednotka

Fakulta informatiky

ISBN

978-1-4503-1636-1

DOI

http://dx.doi.org/10.1145/2479871.2479936

Klíčová slova anglicky

performance evaluation; stochastic Petri nets; stability

Štítky

formela-conference

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 28. 4. 2014 00:02, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

In this poster paper, we study performance of systems modeled by deterministic and stochastic Petri nets (DSPN). As a performance measure, we consider long-run average time spent in a set of markings. Even though this measure often appears in DSPN literature, its existence has never been considered. We provide a DSPN model of a simple communication protocol in which the long-run average time spent in a fixed marking is {\em not} well-defined due to a highly unstable behavior of the model. Further, we introduce a syntactical restriction on DSPN which preserves most of the modeling power yet guarantees existence of the long-run average.

Návaznosti

GPP202/12/P612, projekt VaV

Název: Formální verifikace stochastických systémů s reálným časem (Akronym: Formální verifikace stochastických systémů s reáln)

Investor: Grantová agentura ČR, Formální verifikace stochastických systémů s reálným časem

MUNI/A/0760/2012, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (Akronym: FI MAV II.)

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Jan KŘETÍNSKÝ a Vojtěch ŘEHÁK. On time-average limits in deterministic and stochastic Petri nets. In ACM/SPEC International Conference on Performance Engineering, ICPE'13. New York: ACM, 2013, s. 421-422. ISBN 978-1-4503-1636-1. Dostupné z: https://dx.doi.org/10.1145/2479871.2479936.

@inproceedings{1110174,
   author = {Brázdil, Tomáš and Korenčiak, Ľuboš and Krčál, Jan and Křetínský, Jan and Řehák, Vojtěch},
   address = {New York},
   booktitle = {ACM/SPEC International Conference on Performance Engineering, ICPE'13},
   doi = {http://dx.doi.org/10.1145/2479871.2479936},
   keywords = {performance evaluation; stochastic Petri nets; stability},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {New York},
   isbn = {978-1-4503-1636-1},
   pages = {421-422},
   publisher = {ACM},
   title = {On time-average limits in deterministic and stochastic Petri nets},
   year = {2013}
}

TY  - JOUR
ID  - 1110174
AU  - Brázdil, Tomáš - Korenčiak, Ľuboš - Krčál, Jan - Křetínský, Jan - Řehák, Vojtěch
PY  - 2013
TI  - On time-average limits in deterministic and stochastic Petri nets
PB  - ACM
CY  - New York
SN  - 9781450316361
KW  - performance evaluation
KW  - stochastic Petri nets
KW  - stability
N2  - In this poster paper, we study performance of systems modeled by deterministic and stochastic Petri nets (DSPN). As a performance measure, we consider long-run average time spent in a set of markings. Even though this measure often appears in DSPN literature, its existence has never been considered. We provide a DSPN model of a simple communication protocol in which the long-run average time spent in a fixed marking is {\em not} well-defined due to a highly unstable behavior of the model. Further, we introduce a syntactical restriction on DSPN which preserves most of the modeling power yet guarantees existence of the long-run average.
ER  -

BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Jan KŘETÍNSKÝ a Vojtěch ŘEHÁK. On time-average limits in deterministic and stochastic Petri nets. In \textit{ACM/SPEC International Conference on Performance Engineering, ICPE'13}. New York: ACM, 2013, s.~421-422. ISBN~978-1-4503-1636-1. Dostupné z: https://dx.doi.org/10.1145/2479871.2479936.

Podrobný výpis o publikaci