4 papers · 1 filter
Discrete time phased Petri box calculus dtphPBC
Igor V. Tarasyuk
We propose discrete time phased Petri box calculus (dtphPBC), an extension with phase type distributed multiaction delays of discrete time stochastic and deterministic Petri box ca…
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.…
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…
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…