Igor V. Tarasyuk E-mail itar@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher Academic degree PhD
Tarasyuk I., Buchholz P. Bisimulation for fluid stochastic Petri nets // Computer Science. — 2015. — # 38 — P. 121-150
Tarasyuk I. Performance evaluation of the generalized shared memory system in dtsPBC // Computer Science. — 2011. — # 32 — P. 127-155
Tarasyuk I. Performance preserving equivalences for dtsPBC // Computer Science. — 2010. — # 31 — P. 155-178
Tarasyuk I. Iteration in discrete time stochastic Petri box calculus // Computer Science. — 2006. — # 24 — P. 129-148
Tarasyuk I. Logical characterization of probabilistic τ-bisimulation equivalences // Computer Science. — 2004. — # 20 — P. 97-111
Buchholz P., Tarasyuk I. Net and algebraic approaches to probabilistic modeling // Computer Science. — 2001. — # 15 — P. 31-64
Tarasyuk I. τ-Equivalences for analysis of concurrent systems modelled by Petri nets with silent transitions // Computer Science. — 1999. — # 12 — P. 47-51
Virbitskaite I., Tarasyuk I. Equivalence notions and refinement for timed Petri nets // Computer Science. — 1998. — # 8 — P. 57-79
Tarasyuk I. Equivalences for behavioural analysis of multilevel systems // Computer Science. — 1997. — # 7 — P. 57-84
Tarasyuk I. An algebra of labelled nondeterministic processes // Computer Science. — 1996. — # 5 — P. 83-100
Tarasyuk I. An investigation of equivalence notions on some subclasses of Petri nets // Computer Science. — 1995. — # 3 — P. 89-100
