Modeling and Performance Analysis of Concurrent Processes in the Algebra $dtsPBC$

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.