Keyword: behavioural equivalences

• 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, Igor V.:
  Place bisimulation equivalences for design of concurrent and sequential systems. 1998.

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

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

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

• Tarasyuk, Igor V.:
  Algebra AFLP₂: a calculus 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