��������� ����������� �������������� ��������
RUS  ENG    �������   ����������   �����������   �����������   ��������   ���������   ����� AMSBIB  
����� ����������
��������� ������
�����
������-������

����� ����������
����� ������

RSS
��������� ������
������� �������
�������� �������
��� ����� RSS


���. ��������. �����. ���.:
���:
���:
������:
��������:
�����




������������ ����:
�����:
������:
��������� ������
�����
������ ������?
�����������

��������� ����������� �������������� ��������, 2018, ��� 15, �������� 1743–1812
DOI: https://doi.org/10.33048/semi.2018.15.144 (Mi semr1035) 		 
��� ���������� ���������� � 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
PDF ������� ������ (787 kB) ������ ����������� (2)
������ ����������:
PDF
HTML
DOI: https://doi.org/10.33048/semi.2018.15.144
���������: 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.
��������� 15 ������ 2017 �., ������������ 26 ������� 2018 �.
������������ ���� ������:
��� ����������: ������
���: 004.423.4, 519.217.2, 519.681.2, 519.681.3
MSC: 60J10, 60J20, 60K15, 68Q55, 68Q85
���� ����������: ����������
������� �����������: 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{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000454860200084}
������� ������ �� ��� ��������:
  • https://www.mathnet.ru/rus/semr1035
  • https://www.mathnet.ru/rus/semr/v15/p1743
    • ��� ���������� ���������� � ��������� 2 ������x:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    ���������� ����������:
    �������� ���������:209
    PDF ������� ������:110
    ������ ����������:27
     
      �������� �����:
    		  ���������������� ����������  ����������� ����������� �������  �������� © �������������� �������� ��. �. �. �������� ���, 2024