Tarasyuk, I.V.

• Tarasyuk, Igor V.:
  Stochastic Petri box calculus with discrete time. 2007.

• Buchholz, Peter; Tarasyuk, Igor Valerievich:
  Equivalences for stochastic Petri nets and stochastic process algebras. 2006.

• Tarasyuk, Igor V.:
  Iteration in discrete time stochastic Petri box calculus. 2006.

• Tarasyuk, Igor Valerievich:
  Discrete time stochastic Petri box calculus. 2005.

• Tarasyuk, Igor V.:
  Logical characterization of probabilistic t-bisimulation equivalences. 2004.

• Tarasyuk, Igor V.:
  Stochastic Petri nets: a formalism for modeling and performance analysis of computing processes. 2004.

• Buchholz, Peter; Tarasyuk, Igor V.:
  Net and algebraic approaches to probabilistic modeling. 2001.

• Buchholz, Peter; Tarasyuk, Igor V.:
  A class of stochastic Petri nets with step semantics and related equivalence notions. 2000.

• Tarasyuk, Igor V.:
  Tau-equivalences and refinement for Petri nets based design. 2000.

• Tarasyuk, Igor V.:
  Tau-equivalences for analysis of concurrent systems modeled by Petri nets with silent transitions. 1999.

• Tarasyuk, Igor V.:
  Equivalences for concurrent and distributed systems. A review of dissertation. 1999.

• Tarasyuk, I.V.:
  Equivalence notions applied to designing concurrent systems with the use of Petri nets. 1998.

• Tarasyuk, Igor V.:
  Place bisimulation equivalences for design of concurrent and sequential systems. 1998.

• Virbitskaite, Irina B.; Tarasyuk, Igor V.:
  Equivalence notions and refinement for timed Petri nets. 1998.

• Tarasyuk, Igor V.:
  Tau-equivalences and refinement. 1998.

• Tarasyuk, Igor V.:
  Place bisimulation equivalences for design of concurrent systems. 1998.

• Tarasyuk, Igor V.:
  An investigation of back-forth and place bisimulation equivalences. 1997.

• Tarasyuk, Igor V.:
  An investigation of tau-equivalences. 1997.

• Tarasyuk, Igor V.:
  Back-forth equivalences for design of concurrent systems. 1997.

• Tarasyuk, Igor V.:
  Equivalences for behavioural analysis of multilevel systems. 1997.

• Virbitskaite, Irina B.; Tarasyuk, Igor V.:
  Investigating equivalence notions for time Petri nets. 1997.

• Tarasyuk, Igor V.:
  Algebra AFLP₂: a calculus of labelled nondeterministic processes. 1996.

• Tarasyuk, Igor V.:
  An algebra of labelled nondeterministic processes. 1996.

• Tarasyuk, Igor V.:
  Equivalence notions for design of concurrent systems using Petri nets. 1996.

• Tarasyuk, Igor V.:
  Petri net equivalences for design of concurrent systems. 1996.

• Tarasyuk, Igor V.:
  An investigation of equivalence notions on some subclasses of Petri nets. 1995.

Back to the Petri Nets Bibliography