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-18-05-1 

Código:  DIAB-18-05-1
Publicación:  08-05-2018
Título:  Bisimulation equivalence for functional and performance analysis of concurrent stochastically timed systems in dtsiPBC
Detalle:

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à, V. Valero and others within a continuous time domain. In this version of dtsiPBC, we use positive reals (instead of the previously used positive integers) as the weights of immediate multiactions to provide more flexibility in specification. 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. The 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. We also determine the main advantages of dtsiPBC by comparing it with other well-known or similar SPAs.




 Autores 

Autor Detalles
TARASYUK, IGOR V. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, 6, Acad. Lavrentiev pr., 630090 Novosibirsk, Russian Federation
MACIA SOLER, HERMENEGILDA Departamento de Matemáticas. Universidad de Castilla-La Mancha. Escuela Superior de Ingeniería Informática. Edif. Infante Don Juan Manuel. 02071 Albacete
VALERO RUIZ, VALENTIN Departamento de Sistemas Informáticos. Universidad de Castilla-La Mancha. Escuela Superior de Ingeniería Informática. Edif. Infante Don Juan Manuel. 02071 Albacete



 Ficheros 

Fichero Bytes Detalles
TR_DSI_may2018.pdf 972.7K