Ochsenschläger, P.

• Ochsenschläger, Peter:
  Kooperationsprodukte formaler Sprachen und schlichte Homomorphismen. 1996.

• Nitsche, Ulrich; Ochsenschläger, Peter; Repp, Jürgen:
  The SH-Verification Tool. 1996.

• Ochsenschläger, P.; Prinoth, R.:
  Modellierung verteilter Systeme - Konzeption, formale Spezifikation und Verifikation mit Produktnetzen. 1995.

• Ochsenschläger, Peter:
  Compositional Verification of Cooperating Systems Using Simple Homomorphisms. 1995.

• Ochsenschläger, P.:
  Verifikation kooperierender Systeme mittels schlichter Homomorphismen. 1992.

• Ochsenschläger, P.:
  Modulhomomorphismen II. 1991.

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

• Ochsenschläger, Peter:
  Die Produktnetzmaschine. 1991.

• Ochsenschläger, Peter:
  Die Produktnetzmaschine: Eine Übersicht. 1991.

• Ochsenschläger, Peter:
  Modulhomomorphismen. 1990.

• Burkhard, H.-J.; Ochsenschläger, P.; Prinoth, R.:
  Product Nets: A Formal Description Technique for Cooperating Systems. 1989.

• Ochsenschläger, P.:
  Projektionen und reduzierte Erreichbarkeitsgraphen. 1988.

• Faltin, U.; Ochsenschläger, P.; Paule, C.:
  Entwurf und Analyse von Produktnetzen. 1988.

• Burkhard, H.-J.; Ochsenschläger, P.; Prinoth, R.:
  Produktnetze: Ein formales Beschreibungsmittel für kooperierende Systeme. 1987.

• 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, 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.; 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.

Back to the Petri Nets Bibliography