Abstract Petri Box Calculus (PBC) is an algebraicmodel for the description of concurrent
systems and sPBC (stochastic Petri Box Calculus) is a Markovian extension of that model. In …

We propose to exploit three-valued abstraction to stochastic systems in a compositional way.
This combines the strengths of an aggressive state-based abstraction technique with …

The main goal of this paper is to extend sPBC with the iteration operator, providing an
operational semantics for the language, as well as a denotational semantics, which is based …

In the last decades, a number of stochastic enrichments of process algebras was
constructed to specify stochastic processes within the well-developed framework of …

In the last decades, a number of stochastic enrichments of process algebras was
constructed to allow one for specification of stochastic processes within the well-developed …

We propose discrete time stochastic Petri box calculus extended with immediate
multiactions, called dt-siPBC. The step operational semantics is constructed via labeled …

In this paper we define a congruence relation for regular terms of sPBC (stochastic Petri Box
Calculus), by means of which we identify those processes that have the same behaviour, not …

Petri box calculus (PBC) is a flexible and expressive process algebra defined by E. Best, R.
Devillers and others in 1992. In this paper, we present the extension of discrete time …

We define a number of stochastic equivalences in the dtsPBC framework, which is a discrete
time stochastic extension of finite Petri box calculus (PBC) enriched with iteration. These …

Petri box calculus (PBC) of E. Best, R. Devillers, JG Hall and M. Koutny is a well-known
algebra of parallel processes with a Petri net semantics. Discrete time stochastic and …