Keyword: equivalences

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

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

• Dufourd, Catherine; Finkel, Alain:
  A polynomial lambda-bisimilar normalization for reset Petri nets. 1999.

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

• Best, E.; Esparza, J.:
  Design Methods Based on Nets (DEMON): Edited Progress Report of the Esprit Basic Research Action 3148. 1991.

Back to the Petri Nets Bibliography