|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Вычислительная математика
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
I. V. Tarasyuka, H. Maciàb, V. Valerob a A.P. Ershov Institute of Informatics Systems,
Siberian Branch of the Russian Academy of Sciences,
6, Acad. Lavrentiev pr.,
630090 Novosibirsk, Russian Federation
b High School of Informatics Engineering,
University of Castilla - La Mancha,
Avda. de España s/n, 02071 Albacete, Spain
Аннотация:
We propose an extension with immediate multiactions of
discrete time stochastic Petri Box Calculus (dtsPBC), presented by I.V.
Tarasyuk. The resulting algebra dtsiPBC is a discrete time analogue
of stochastic Petri Box Calculus (sPBC) with immediate multiactions,
designed by H. Macìa, V. Valero et al. within a continuous time domain.
The step operational semantics is constructed via labeled probabilistic
transition systems. The denotational semantics is based on labeled discrete time stochastic Petri nets with immediate transitions. To evaluate
performance, the corresponding semi-Markov chains are analyzed. We
define step stochastic bisimulation equivalence of expressions that is
applied to reduce their transition systems and underlying semi-Markov
chains while preserving the functionality and performance characteristics.
We explain how this equivalence can be used to simplify performance
analysis of the algebraic processes. In a case study, a method of modeling,
performance evaluation and behaviour reduction for concurrent systems
is outlined and applied to the shared memory system.
Ключевые слова:
stochastic process algebra, Petri box calculus, discrete time, immediate multiaction, operational and denotational semantics, semi-Markov chain, performance evaluation, stochastic equivalence, reduction.
Поступила 15 ноября 2017 г., опубликована 26 декабря 2018 г.
Образец цитирования:
I. V. Tarasyuk, H. Macià, V. Valero, “Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC”, Сиб. электрон. матем. изв., 15 (2018), 1743–1812
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1035 https://www.mathnet.ru/rus/semr/v15/p1743
|
Статистика просмотров: |
Страница аннотации: | 216 | PDF полного текста: | 119 | Список литературы: | 32 |
|