Esta web utiliza cookies propias y de terceros con fines técnicos y de análisis del tráfico. Puedes ver nuestra política de cookies aquí. Si continuas navegando, entendemos que aceptas su uso. Aceptar

 Technical Reports DIAB-14-01-1 

Código:  DIAB-14-01-1
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