Abstract:
Algebra dtsPBC is a discrete time stochastic extension of finite Petri box calculus (PBC) enriched with iteration. In this paper, we define a number of stochastic equivalences for dtsPBC which allow one to identify finite and infinite stochastic processes with similar behaviour. A problem of preservation of the equivalences by algebraic operations is discussed. As a result, we construct an equivalence that is a congruence relation.
Keywords:
DOI:
Issue
Pages:
121-141
File:
tarasyuk_1.pdf
(242.97 KB)