Geodesic
Stochastic process reduction for performance evaluation in dtsiPBC
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 12 (2015), pp. 513-551

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

Petri box calculus (PBC) is a well-known algebra of concurrent processes with a Petri net semantics. In the paper, we consider an extension of PBC with discrete stochastic time and immediate multiactions, which is referred to as discrete time stochastic and immediate PBC (dtsiPBC). Performance analysis methods for concurrent and distributed systems with random time delays are investigated in the framework of the new stochastic process algebra. It is demonstrated that the performance evaluation is possible not only via the underlying semi-Markov chains of the algebraic process expressions but also by exploring the reduced discrete time Markov chains, obtained from the semi-Markov chains by eliminating their states with zero residence time (called vanishing states). The latter approach simplifies performance analysis of large systems due to abstraction from many instantaneous activities, such as those used to specify logical conditions, probabilistic branching, as well as urgent or internal (unobservable) work.
Keywords: stochastic process algebras, stochastic Petri nets, Petri box calculus, discrete time, immediate multiactions, operational semantics, transition systems, performance analysis, vanishing states, reduction.
Mots-clés : Markov chains 
@article{SEMR_2015_12_a55,
     author = {I. V. Tarasyuk and H. Maci\`a and V. Valero},
     title = {Stochastic process reduction for performance evaluation in {dtsiPBC}},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {513--551},
     publisher = {mathdoc},
     volume = {12},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2015_12_a55/}
}
TY  - JOUR
AU  - I. V. Tarasyuk
AU  - H. Macià
AU  - V. Valero
TI  - Stochastic process reduction for performance evaluation in dtsiPBC
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2015
SP  - 513
EP  - 551
VL  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2015_12_a55/
LA  - en
ID  - SEMR_2015_12_a55
ER  - 
%0 Journal Article
%A I. V. Tarasyuk
%A H. Macià
%A V. Valero
%T Stochastic process reduction for performance evaluation in dtsiPBC
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2015
%P 513-551
%V 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2015_12_a55/
%G en
%F SEMR_2015_12_a55
I. V. Tarasyuk; H. Macià; V. Valero. Stochastic process reduction for performance evaluation in dtsiPBC. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 12 (2015), pp. 513-551. http://geodesic.mathdoc.fr/item/SEMR_2015_12_a55/