This HTML5 document contains 50 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n7http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n16http://purl.org/net/nknouf/ns/bibtex#
n5http://localhost/temp/predkladatel/
n10http://linked.opendata.cz/resource/domain/vavai/projekt/
n6http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/resource/domain/vavai/subjekt/
n17http://linked.opendata.cz/ontology/domain/vavai/
n12https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n23http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n19http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F13%3A00066145%21RIV14-MSM-14330___/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n21http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F13%3A00066145%21RIV14-MSM-14330___
rdf:type
n17:Vysledek skos:Concept
dcterms:description
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. 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.
dcterms:title
On time-average limits in deterministic and stochastic Petri nets On time-average limits in deterministic and stochastic Petri nets
skos:prefLabel
On time-average limits in deterministic and stochastic Petri nets On time-average limits in deterministic and stochastic Petri nets
skos:notation
RIV/00216224:14330/13:00066145!RIV14-MSM-14330___
n17:predkladatel
n18:orjk%3A14330
n3:aktivita
n8:S n8:P
n3:aktivity
P(GPP202/12/P612), S
n3:dodaniDat
n21:2014
n3:domaciTvurceVysledku
n6:1762834 n6:3651576 n6:8986371 n6:9668780 n6:3503054
n3:druhVysledku
n15:D
n3:duvernostUdaju
n22:S
n3:entitaPredkladatele
n19:predkladatel
n3:idSjednocenehoVysledku
93988
n3:idVysledku
RIV/00216224:14330/13:00066145
n3:jazykVysledku
n13:eng
n3:klicovaSlova
performance evaluation; stochastic Petri nets; stability
n3:klicoveSlovo
n4:stability n4:stochastic%20Petri%20nets n4:performance%20evaluation
n3:kontrolniKodProRIV
[6869115FBC57]
n3:mistoKonaniAkce
New York
n3:mistoVydani
New York
n3:nazevZdroje
ACM/SPEC International Conference on Performance Engineering, ICPE'13
n3:obor
n20:IN
n3:pocetDomacichTvurcuVysledku
5
n3:pocetTvurcuVysledku
5
n3:projekt
n10:GPP202%2F12%2FP612
n3:rokUplatneniVysledku
n21:2013
n3:tvurceVysledku
Korenčiak, Ľuboš Řehák, Vojtěch Křetínský, Jan Krčál, Jan Brázdil, Tomáš
n3:typAkce
n7:WRD
n3:zahajeniAkce
2013-01-01+01:00
s:numberOfPages
2
n23:doi
10.1145/2479871.2479936
n16:hasPublisher
ACM
n12:isbn
9781450316361
n5:organizacniJednotka
14330