Geodesic
Modeling and Performance Analysis of Concurrent Processes in the Algebra~$dtsPBC$
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 9 (2009) no. 4, pp. 90-117

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

Petri box calculus $PBC$ is a well-known process algebra with Petri net semantics. The author proposed discrete time stochastic extension of finite $PBC$ called $dtsPBC$ and enriched with iteration operator later. In this paper, in the framework of the $dtsPBC$ with iteration, a method of modeling, performance analysis and behaviour preserving reduction of concurrent processes with stochastic time delays is described applied to a shared memory system.
Keywords: stochastic process algebra, stochastic Petri net, Petri box calculus, iteration, discrete time, transition system, operational semantics, dts-box, denotational semantics, stochastic equivalence, modeling, performance analysis, reduction. 
@article{VNGU_2009_9_4_a9,
     author = {I. V. Tarasyuk},
     title = {Modeling and {Performance} {Analysis} of {Concurrent} {Processes} in the {Algebra~}$dtsPBC$},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {90--117},
     publisher = {mathdoc},
     volume = {9},
     number = {4},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2009_9_4_a9/}
}
TY  - JOUR
AU  - I. V. Tarasyuk
TI  - Modeling and Performance Analysis of Concurrent Processes in the Algebra~$dtsPBC$
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2009
SP  - 90
EP  - 117
VL  - 9
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2009_9_4_a9/
LA  - ru
ID  - VNGU_2009_9_4_a9
ER  - 
%0 Journal Article
%A I. V. Tarasyuk
%T Modeling and Performance Analysis of Concurrent Processes in the Algebra~$dtsPBC$
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2009
%P 90-117
%V 9
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2009_9_4_a9/
%G ru
%F VNGU_2009_9_4_a9
I. V. Tarasyuk. Modeling and Performance Analysis of Concurrent Processes in the Algebra~$dtsPBC$. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 9 (2009) no. 4, pp. 90-117. http://geodesic.mathdoc.fr/item/VNGU_2009_9_4_a9/