In the last decades, a number of stochastic enrichments of process algebras was constructed to specify stochastic processes within the well-developed
framework of algebraic calculi. In [26], a continuous time stochastic extension of finite Petri box calculus (*PBC*) was proposed and called *sPBC*. The algebra *sPBC*
has...

Algebra *dtsPBC* is a discrete time stochastic extension of finite Petri
box calculus (*PBC*) enriched with iteration. In this paper, we define a number
of stochastic equivalences for *dtsPBC* which allow one to identify finite and infinite stochastic processes with similar behaviour. A problem of preservation of
the...

For a discrete time stochastic extension dtsPBC of finite Petri box calculus (PBC) enriched with iteration, we define a number of stochastic equivalences. They allow one to identify processes with similar behaviour which are differentiated by the too discriminate semantic equivalence of the calculus. We investigate which is the weakest...

The algebra dtsPBC is a discrete time stochastic extension of finite Petri box calculus (PBC) enriched with iteration. In this paper, a method of modeling and performance evaluation of concurrent systems in dtsPBC is outlined based on the stationary behaviour analysis. The method is then applied to the generalized shared...