Сибирские электронные математические известия
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Сибирские электронные математические известия, 2021, том 18, выпуск 2, страницы 1105–1145
DOI: https://doi.org/10.33048/semi.2021.18.085
(Mi semr1426)
 

Вычислительная математика

Performance evaluation in stochastic process algebra dtsdPBC

I. V. Tarasyuk

A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, 6, Acad. Lavrentiev ave., Novosibirsk, 630090 Russia
Список литературы:
Аннотация: We consider discrete time stochastic and deterministic Petri box calculus (dtsdPBC), recently proposed by I.V. Tarasyuk. dtsdPBC is a discrete time extension with stochastically and deterministically timed multiactions of the well-known Petri box calculus (PBC), presented by E. Best, R. Devillers, J.G. Hall and M. Koutny. In dtsdPBC, stochastic multiactions have (conditional) probabilities of execution at the next time moment while deterministic multiactions have non-negative integers associated that specify fixed (including zero) delays. dtsdPBC features a step operational semantics via labeled probabilistic transition systems. In order to evaluate performance in dtsdPBC, the underlying semi-Markov chains (SMCs) are investigated, which are extracted from the transition systems corresponding to the process expressions of the calculus. It is demonstrated that the performance analysis in dtsdPBC is alternatively possible by exploring the corresponding discrete time Markov chains (DTMCs) and their reductions (RDTMCs), obtained by eliminating the states with zero residence time (vanishing states). The method based on DTMCs permits to avoid building the embedded DTMC (EDTMC) and weighting the probability masses in the states by their average sojourn times. The method based on RDTMCs simplifies performance analysis of large systems due to eliminating the non-stop transit (vanishing) states where only instantaneous activities are executed, resulting in a smaller model that can easier be solved directly.
Ключевые слова: stochastic process algebra, Petri box calculus, discrete time, stochastic multiaction, deterministic multiaction, transition system, operational semantics, Markov chain, performance evaluation, reduction.
Поступила 18 февраля 2021 г., опубликована 22 октября 2021 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 004.423.4, 519.217.2, 519.681.2
Язык публикации: английский
Образец цитирования: I. V. Tarasyuk, “Performance evaluation in stochastic process algebra dtsdPBC”, Сиб. электрон. матем. изв., 18:2 (2021), 1105–1145
Цитирование в формате AMSBIB
\RBibitem{Tar21}
\by I.~V.~Tarasyuk
\paper Performance evaluation in stochastic process algebra dtsdPBC
\jour Сиб. электрон. матем. изв.
\yr 2021
\vol 18
\issue 2
\pages 1105--1145
\mathnet{http://mi.mathnet.ru/semr1426}
\crossref{https://doi.org/10.33048/semi.2021.18.085}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000734395000005}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1426
  • https://www.mathnet.ru/rus/semr/v18/i2/p1105
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:608
    PDF полного текста:37
    Список литературы:26
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024