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-11-06-2 

Código:  DIAB-11-06-2
Publicación:  28-06-2011
Título:  Stochastic equivalence for modular performance evaluation in dtsiPBC
We propose the extension of discrete time stochastic Petri box calculus (dtsPBC) presented by I.V.Tarasyuk with immediate multiactions. dtsPBC is a discrete time analog 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 both semantics is demonstrated. In order to evaluate performance, the corresponding semi-Markov chains are analyzed. We define step stochastic bisimulation equivalence of expressions and explain how it can be used to reduce their transition systems and underlying semi-Markov chains as well as to compare the stationary behaviour. We prove that the introduced equivalence guarantees a coincidence of performance indices and can be used for performance analysis simplification. 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 (IIS SB RAS).
MACIA SOLER, HERMENEGILDA Dpto. Matemáticas. Universidad de Castilla-La Mancha.
VALERO RUIZ, VALENTIN Depatamento de Sistemas Informáticos. Universidad de Castilla-La Mancha.


Fichero Bytes Detalles
report_dtsipbdeq.pdf 407.8K