Universidad de Castilla-La Mancha
Departamento de Sistemas Informáticos

Technical Report
Código: DIAB-14-01-1
Fecha Publicación: 28-01-2014
Título: Stochastic equivalence for performance evaluation of concurrent systems in dtsiPBC
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, proposed by H. Maci\`a, V. Valero and others within a continuous time domain. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is defined on the basis of a subclass of labeled discrete time stochastic Petri nets with immediate transitions. A consistency of the both semantics is demonstrated. In order to evaluate performance, the corresponding semi-Markov chains and (reduced) discrete time Markov chains are analyzed. We define step stochastic bisimulation equivalence of expressions and prove that it can be applied to reduce their transition systems and underlying semi-Markov chains while preserving the functionality and performance characteristics. We explain how this equivalence may help to simplify performance analysis of the algebraic processes. In a case study, a method of modeling, performance evaluation and behaviour preserving reduction of concurrent systems is outlined and applied to the shared memory system.

Autor Detalles
TARASYUK, IGOR V. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, 6, Acad. Lavrentiev ave., 630090 Novosibirsk, Russian Federation
MACIA SOLER, HERMENEGILDA Department of Mathematics. High School of Information Engineering, University of Castilla - La Mancha, Avda. de Espa\~na s/n, 02071 Albacete, Spain
VALERO RUIZ, VALENTIN Department of Computer Science. High School of Information Engineering, University of Castilla-La Mancha, Avda. de Espa\~na s/n, 02071 Albacete, Spain

Fichero Bytes Detalles
dtsipbctcs_report.pdf 785.2K


Sindicación     Sindicación     Sindicación
Curso: 2016-17
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal