On time-average limits in deterministic and stochastic Petri nets

Tomáš Brázdil; Luboš Korenčiak; Jan Krčál; Jan Křetínský; Vojtěch Řehák

doi:10.1145/2479871.2479936

On time-average limits in deterministic and stochastic Petri nets

Tomáš Brázdil, Luboš Korenčiak, Jan Krčál, Jan Křetínský, Vojtěch Řehák

Masaryk University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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 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.

Original language	English
Title of host publication	ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering
Pages	421-422
Number of pages	2
DOIs	https://doi.org/10.1145/2479871.2479936
State	Published - 2013
Externally published	Yes
Event	2013 4th ACM/SPEC International Conference on Performance Engineering, ICPE 2013 - Prague, Czech Republic Duration: 21 Apr 2013 → 24 Apr 2013

Publication series

Name	ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering

Conference

Conference	2013 4th ACM/SPEC International Conference on Performance Engineering, ICPE 2013
Country/Territory	Czech Republic
City	Prague
Period	21/04/13 → 24/04/13

Keywords

deterministic and stochastic petri nets
performance analysis
steady-state distribution
time-average limits

Access to Document

10.1145/2479871.2479936

Cite this

Brázdil, T., Korenčiak, L., Krčál, J., Křetínský, J., & Řehák, V. (2013). On time-average limits in deterministic and stochastic Petri nets. In ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering (pp. 421-422). (ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering). https://doi.org/10.1145/2479871.2479936

@inproceedings{85f0234734744538ad41955ef2bc02ec,

title = "On time-average limits in deterministic and stochastic Petri nets",

abstract = "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 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.",

keywords = "deterministic and stochastic petri nets, performance analysis, steady-state distribution, time-average limits",

author = "Tom{\'a}{\v s} Br{\'a}zdil and Lubo{\v s} Koren{\v c}iak and Jan Kr{\v c}{\'a}l and Jan K{\v r}et{\'i}nsk{\'y} and Vojt{\v e}ch {\v R}eh{\'a}k",

year = "2013",

doi = "10.1145/2479871.2479936",

language = "English",

isbn = "9781450316361",

series = "ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering",

pages = "421--422",

booktitle = "ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering",

note = "2013 4th ACM/SPEC International Conference on Performance Engineering, ICPE 2013 ; Conference date: 21-04-2013 Through 24-04-2013",

}

Brázdil, T, Korenčiak, L, Krčál, J, Křetínský, J & Řehák, V 2013, On time-average limits in deterministic and stochastic Petri nets. in ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering. ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering, pp. 421-422, 2013 4th ACM/SPEC International Conference on Performance Engineering, ICPE 2013, Prague, Czech Republic, 21/04/13. https://doi.org/10.1145/2479871.2479936

On time-average limits in deterministic and stochastic Petri nets. / Brázdil, Tomáš; Korenčiak, Luboš; Krčál, Jan et al.
ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering. 2013. p. 421-422 (ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On time-average limits in deterministic and stochastic Petri nets

AU - Brázdil, Tomáš

AU - Korenčiak, Luboš

AU - Krčál, Jan

AU - Křetínský, Jan

AU - Řehák, Vojtěch

PY - 2013

Y1 - 2013

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 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.

AB - 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 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.

KW - deterministic and stochastic petri nets

KW - performance analysis

KW - steady-state distribution

KW - time-average limits

UR - http://www.scopus.com/inward/record.url?scp=84878171915&partnerID=8YFLogxK

U2 - 10.1145/2479871.2479936

DO - 10.1145/2479871.2479936

M3 - Conference contribution

AN - SCOPUS:84878171915

SN - 9781450316361

T3 - ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering

SP - 421

EP - 422

BT - ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering

T2 - 2013 4th ACM/SPEC International Conference on Performance Engineering, ICPE 2013

Y2 - 21 April 2013 through 24 April 2013

ER -

Brázdil T, Korenčiak L, Krčál J, Křetínský J, Řehák V. On time-average limits in deterministic and stochastic Petri nets. In ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering. 2013. p. 421-422. (ICPE 2013 - Proceedings of the 2013 ACM/SPEC International Conference on Performance Engineering). doi: 10.1145/2479871.2479936

On time-average limits in deterministic and stochastic Petri nets

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this