Modeling and Performance Analysis of Concurrent Processes in the Algebra $dtsPBC$

I. V. Tarasyuk

A. P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

Abstract: Petri box calculus $PBC$ is a well-known process algebra with Petri net semantics. The author proposed discrete time stochastic extension of finite $PBC$ called $dtsPBC$ and enriched with iteration operator later. In this paper, in the framework of the $dtsPBC$ with iteration, a method of modeling, performance analysis and behaviour preserving reduction of concurrent processes with stochastic time delays is described applied to a shared memory system.

Keywords: stochastic process algebra, stochastic Petri net, Petri box calculus, iteration, discrete time, transition system, operational semantics, dts-box, denotational semantics, stochastic equivalence, modeling, performance analysis, reduction.

UDC: 519.681.3, 519.681.2

Received: 09.12.2008