Comparing dtsdPBC with other stochastic process algebras
Igor V. Tarasyuk · International Journal of Parallel Emergent and Distributed Systems · 2025
Discrete time stochastic and deterministic Petri box calculus (dtsdPBC) is a parallel process algebra with stochastic and deterministic delays. To evaluate performance, the underlying semi-Markov chains and (reduced) discrete time Markov chains are analyzed. We determine positive features of dtsdPBC by comparing it with other stochastic process algebras, classified by the time model (continuous or discrete) and concept (integrated or orthogonal), distribution of stochastic delays, existence of deterministic (multi)actions and semantic parallelism. The detected strong points of dtsdPBC are discrete integrated stochastic time, deterministic multiactions and step semantics. We discuss the analytical solution, concurrency interpretation and application area of dtsdPBC.