Informace o publikaci

On time-average limits in deterministic and stochastic Petri nets

Logo poskytovatele
Autoři

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

Rok publikování 2013
Druh Článek ve sborníku
Konference ACM/SPEC International Conference on Performance Engineering, ICPE'13
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1145/2479871.2479936
Obor Informatika
Klíčová slova performance evaluation; stochastic Petri nets; stability
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info