RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2018 Volume 15, Pages 1743–1812 (Mi semr1035)

This article is cited in 2 papers

Computational mathematics

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

I. V. Tarasyuka, H. Maciàb, V. Valerob

a A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, 6, Acad. Lavrentiev pr., 630090 Novosibirsk, Russian Federation
b High School of Informatics Engineering, University of Castilla - La Mancha, Avda. de España s/n, 02071 Albacete, Spain

Abstract: 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 time analogue of stochastic Petri Box Calculus (sPBC) with immediate multiactions, designed by H. Macìa, V. Valero et al. within a continuous time domain. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is based on labeled discrete time stochastic Petri nets with immediate transitions. To evaluate performance, the corresponding semi-Markov chains are analyzed. We define step stochastic bisimulation equivalence of expressions that is applied to reduce their transition systems and underlying semi-Markov chains while preserving the functionality and performance characteristics. We explain how this equivalence can be used to simplify performance analysis of the algebraic processes. In a case study, a method of modeling, performance evaluation and behaviour reduction for concurrent systems is outlined and applied to the shared memory system.

Keywords: stochastic process algebra, Petri box calculus, discrete time, immediate multiaction, operational and denotational semantics, semi-Markov chain, performance evaluation, stochastic equivalence, reduction.

UDC: 004.423.4, 519.217.2, 519.681.2, 519.681.3

MSC: 60J10, 60J20, 60K15, 68Q55, 68Q85

Received November 15, 2017, published December 26, 2018

Language: English

DOI: 10.33048/semi.2018.15.144



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024