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

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

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



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






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


Сиб. электрон. матем. изв., 2018, том 15, страницы 1743–1812 (Mi semr1035)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

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

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.

Финансовая поддержка Номер гранта
Ministerio de Ciencia e Innovación de España TIN2015-65845-C3-2-R
Deutsche Forschungsgemeinschaft BE 1267/14-1
The work was supported in part by the Spanish Ministry of Science and Innovation and the European Union FEDER Funds with the coordinated Project DArDOS entitled “Formal development and analysis of complex systems in distributed contexts: foundations, tools and applications”, UCLM subproject “Formal analysis and applications of Web services and electronic contracts”, under grant TIN2015-65845-C3-2-R. I.V. Tarasyuk was also partially supported by Deutsche Forschungsgemeinschaft (DFG) under grant BE 1267/14-1.


DOI: https://doi.org/10.33048/semi.2018.15.144

Полный текст: PDF файл (787 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 004.423.4, 519.217.2, 519.681.2, 519.681.3
MSC: 60J10, 60J20, 60K15, 68Q55, 68Q85
Поступила 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

Цитирование в формате AMSBIB
\RBibitem{TarMacVal18}
\by I.~V.~Tarasyuk, H.~Maci{\`a}, V.~Valero
\paper Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
\jour Сиб. электрон. матем. изв.
\yr 2018
\vol 15
\pages 1743--1812
\mathnet{http://mi.mathnet.ru/semr1035}
\crossref{https://doi.org/10.33048/semi.2018.15.144}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000454860200084}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/semr1035
  • http://mi.mathnet.ru/rus/semr/v15/p1743

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. I. V. Tarasyuk, “Discrete time stochastic and deterministic Petri box calculus dtsdPBC”, Сиб. электрон. матем. изв., 17 (2020), 1598–1679  mathnet  crossref
  • Просмотров:
    Эта страница:93
    Полный текст:29
    Литература:11
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021