Showing 2017Show all
2 papers · 1 filter
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…