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...

tarasyuk.pdf226.8 KB