Geodesic
Performance evaluation in stochastic process algebra dtsdPBC
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 18 (2021) no. 2, pp. 1105-1145

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Keywords: stochastic process algebra, Petri box calculus, discrete time, deterministic multiaction, transition system, operational semantics, performance evaluation, reduction.
Mots-clés : stochastic multiaction, Markov chain 
@article{SEMR_2021_18_2_a59,
     author = {I. V. Tarasyuk},
     title = {Performance evaluation in stochastic process algebra {dtsdPBC}},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {1105--1145},
     publisher = {mathdoc},
     volume = {18},
     number = {2},
     year = {2021},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2021_18_2_a59/}
}
TY  - JOUR
AU  - I. V. Tarasyuk
TI  - Performance evaluation in stochastic process algebra dtsdPBC
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2021
SP  - 1105
EP  - 1145
VL  - 18
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2021_18_2_a59/
LA  - en
ID  - SEMR_2021_18_2_a59
ER  - 
%0 Journal Article
%A I. V. Tarasyuk
%T Performance evaluation in stochastic process algebra dtsdPBC
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2021
%P 1105-1145
%V 18
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2021_18_2_a59/
%G en
%F SEMR_2021_18_2_a59
I. V. Tarasyuk. Performance evaluation in stochastic process algebra dtsdPBC. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 18 (2021) no. 2, pp. 1105-1145. http://geodesic.mathdoc.fr/item/SEMR_2021_18_2_a59/