Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero

We propose an extension with immediate multiactions of discrete time stochastic Petri Box Calculus (dtsPBC), presented by I.V. Tarasyuk. The resulting algebra dtsiPBC is a discrete…