Prinoth, R.

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

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

• Prinoth, Rainer:
  Beschreibungsmittel und Konzepte zur Realisierung verteilter Systeme: Überlegungen anhand von Produktnetzen. 1991.

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

• Burkhard, H.-J.; Prinoth, R.:
  Modellierung von Zeitaspekten mit Produktnetzen. 1988.

• Burkhard, H.-J.; Eckert, H.; Prinoth, R.; Raubold, E.:
  A Model of Cooperation and its Specification with Nets. 1987.

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

• Burkhard, H.-J.; Eckert, H.; Prinoth, R.:
  Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL Implementation Specifications from Global Protocol Specifications. 1986.

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

• Burkhard, H.-J.; Eckert, H.; Prinoth, R.:
  Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen. (Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets.). 1985.

• Eckert, H.; Prinoth, R.:
  Grundsätzliche Betrachtungen und Bemerkungen zu den Produktnetzen. 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.

• Faul-Luers, E.; Prinoth, R.:
  Ableitung von Implementationsvorgaben aus modularisierten Produktnetzen. 1984.

• Eckert, H.; Prinoth, R.:
  Verification of Protocols against the Corresponding Service. 1984.

• Eckert, H.; Prinoth, R.:
  Produktnetze - Definition eines PROSIT-Beschreibungsmittels. 1984.

• Eckert, H.; Prinoth, R.:
  A Computation-Systems Based Method for Automated Proving of Protocols against Services. 1983.

• Prinoth, R.:
  Construction of Distributed Systems from Cycle-free Finite Automata. 1983.

• Prinoth, R.:
  Specification and Verification of Communication Protocols. 1983.

• Burkhard, H.-J.; Eckert, H.; Prinoth, R.:
  Synchronisation in kommunizierenden Systemen - Modellierung n-seitiger Synchronisation auf der Grundlage zweiseitiger Synchronisation. 1983.

• Prinoth, R.:
  Modularisierung von Stellen/Transitionsnetzen. 1983.

• Eckert, Hans; Prinoth, Rainer:
  Erfahrungen mit Netzen auf dem Gebiet der Verifikation von Kommunikationsprotokollen. 1983.

• Eckert, H.; Prinoth, R.:
  Automated Prooving of Communication Protocols against Communication Services. 1982.

• Prinoth, R.:
  An Algorithm to Construct Distributed Systems from State-Machines. 1982.

• Prinoth, R.:
  Ein Algorithmus zum Verteilen, Rekonfigurieren und Modularisieren von Systemen, die als kreisfreie endliche Automaten gegeben sind. 1982.

• Eckert, H.; Prinoth, R.:
  Untersuchung einiger Kommunikationsprotokolle unter dem Aspekt der Synchronisation auf gestörten Kanälen. 1980.

• Prinoth, R.:
  Färbbarkeitskonzepte und Systemmodellierung. 1979.

• Prinoth, R.:
  Semaphorkonzepte und ihre Darstellung durch Petri-Netze. 1979.

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

• Prinoth, R.:
  Notwendige und hinreichende Bedingungen für die Existenz lebendiger und sicherer Markierungen einer Klasse von Petri-Netzen. 1978.

• Prinoth, R.:
  Eigenschaften färbbarer Petri-Netze. 1977.

• Prinoth, R.:
  Starke Färbbarkeit in Petri-Netzen. 1977.

Back to the Petri Nets Bibliography