Taubner, D.

• Taubner, Dirk:
  Representing CCS Programs by Finite Predicate/Transition Nets. 1990.

• Taubner, D.:
  Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. 1989.

• Taubner, D.:
  The Representation of CCS Programs by Finite Predicate/Transition Nets. 1989.

• Taubner, Dirk; Vogler, Walter:
  Step Failures Semantics and a Complete Proof System. 1989.

• Taubner, D.:
  Die endliche Darstellung abstrakter Programme durch Automaten und Petrinetze. 1988.

• Taubner, D.:
  On the Distributed Implementation of Petri Nets. 1988.

• Taubner, D.:
  On the Implementation of Petri Nets. 1988.

• Taubner, D.:
  Zur verteilten Implementierung von Petrinetzen. 1988.

• Taubner, D.:
  Theoretical CSP and Formal Languages. 1987.

• Brauer, W.; Taubner, D.:
  Petri Nets and CSP. 1986.

• Taubner, D.; Vogler, W.:
  The Step Failure Semantics. 1986.

• Taubner, D.:
  Two Net-Oriented Semantics for TCSP. 1985.

• Taubner, D.:
  Petrinetze als Grundlage für Semantiken von CSP und CCS. 1984.

Back to the Petri Nets Bibliography