3 papers
cs.LO2019
Discrete time stochastic and deterministic Petri box calculus
Igor V. Tarasyuk
We propose an extension with deterministically timed multiactions of discrete time stochastic and immediate Petri box calculus (dtsiPBC), previously presented by I.V. Tarasyuk, H.…
cs.LO2017
Behavioural equivalences for fluid stochastic Petri nets
Igor V. Tarasyuk, Peter Buchholz
We propose fluid equivalences to compare and reduce behaviour of labeled fluid stochastic Petri nets (LFSPNs) while preserving their discrete and continuous properties. We define a…
cs.LO2017
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…