Baumgarten, B.

• Baumgarten, B.; Giessler, A.; Paule, C.:
  The CAB Protocol - a TTCS Test Suite Generation Case Study. 1993.

• Baumgarten, B.:
  Testfallgenerierung aus Petri-Netzen - Probleme, Konzepte, Systeme. 1992.

• Baumgarten, B.; Ochsenschläger, P.; Prinoth, R.:
  A Short Comment. 1991.

• Baumgarten, Bernd:
  Petri-Netze: Grundlagen und Anwendungen. 1990.

• Baumgarten, Bernd:
  The Alternating Bit Protocal (Revisited). 1990.

• Baumgarten, B.; Giessler, A.; Platten, R.:
  The Derivation of Test Cases from Net Models of OSI Protocols. 1989.

• Baumgarten, B.:
  On Internal and External Characterizations of PTNet Building Block Behaviour. 1988.

• Obermeit, Volker; Steinmetz, Ralf; Baumgarten, Bernd; Burkhardt, Heinz-Jürgen; Ochsenschläger, Peter; Prinoth, Rainer:
  Communication and Database Oriented Modelling of Multilateral Cooperation - A Comparison Based on Petri Nets. 1987.

• Baumgarten, B.:
  On Internal and External Characterizations of PT-Net Building Block Behaviour. 1987.

• Baumgarten, Bernd; Burkhardt, Heinz-Jürgen; Obermeit, Volker; Ochsenschläger, Peter; Prinoth, Rainer; Steinmetz, Ralf:
  Datenbank- und kommunikationsorientierte Modellierung mehrseitiger Kooperation: Ein Vergleich auf der Basis von Netzen. 1986.

• Baumgarten, B.; Ochsenschläger, P.; Prinoth, R.:
  Building Blocks for Distributed System Design. 1986.

• Baumgarten, B.:
  Über interne und externe Charakterisierungen des Verhaltens von PT-Netz-Bausteinen. 1985.

• Baumgarten, B.; Ochsenschläger, P.; Prinoth, R.:
  A Formal Model of the CCR Algorithm. 1985.

• Baumgarten, B.; Burkhard, H.-J.; Ochsenschläger, P.; Prinoth, R.:
  The Signing of a Contract - a Tree-Structured Application Modelled with Petri Net Building Blocks. 1985.

• Baumgarten, B.; Ochsenschläger, P.:
  Modelling and Verification of a Checkpoint-Restart-Protocol. 1984.

• Baumgarten, B.; Ochsenschläger, P.:
  Modellierung und Verifikation eines Checkpoint-Restart-Verfahrens. 1984.

• Baumgarten, B.; Prinoth, R.:
  Einige Begriffe und Ergebnisse aus der Theorie der Petri-Netze. 1978.

Back to the Petri Nets Bibliography