Studien- und Diplomarbeiten und Dissertationen

Studienarbeiten

Entscheidungsverfahren f�r endliche Automaten: Edward Kulic; Betreuer: Prof. Dr. M. Jantzen; 1/98
Vergleich der quantenmechanischen mit der klassischen Turingmaschine unter Ber�cksichtigung der Rekursions- und Komplexit�tstheorie: Caroline Mojert; Betreuer: Berndt Farwer; 5/98
Kategorientheorie und Petrinetze - Eine Hierarchie: Barbara Bennemann; Betreuer: Berndt Farwer; 5/98
Kolmogorov-Komplexit�t bei Beweistechniken f�r untere Schranken: Nicola Waje; Betreuer: Prof. Dr. M. Jantzen; 9/98

Untersuchungen zur strukturierten Analyse am Beispiel eines Warenwirtschaftssystems: Thomas Buck; Betreuer: Daniel Moldt; 4/97
Spezifikation eines Reisebuchungssystems mit gef�rbten Petrinetzen: Marc Netzebandt; Betreuer: Prof. Dr. R. Valk; 8/97
Software Requirement Engineering - Probleme und m�gliche L�sungsans�tze: Adriana Engelhardt; Betreuer: Daniel Moldt; 12/97

Objektorientierte Petrinetze (OOPN) - Ein Vergleich aktueller Modelle: T.-O. Krauß; Betreuer: Prof. Dr. R. Valk, Daniel Moldt; 5/96
Darstellung von Konzepten der Objektorientierten Modellierung und Programmierung mit Petrinetzen: Ch. Maier; Betreuer: Prof. Dr. R. Valk, Daniel Moldt; 5/96
Modellierung und Simulation von Aufzugssystemen mit Hilfe der Strukturierten Analyse unter Einsatz der Werkzeuge Promod und Short Cut: H. Brockmann; Betreuer: Prof. Dr. R. Valk, Daniel Moldt; 6/96
Computer-assistierte Verifikation von µ-Kalkül, Propositionen von kontextfreien Prozessen: H. Störrle; Betreuer: Prof. Dr. R. Valk; 7/96
Diskussion von Erweiterungen der Marken von Petrinetzen zu eigenständigen Systemen: Anke Heinemeier; Betreuer: Daniel Moldt; 7/96
S/T-Netz-Erweiterungen zur Turingmaschinen-Äquivalenz: St. Osterholz; Betreuer: Prof. Dr. M. Jantzen; 7/96
Pumping-Lemmas - ein zusammenfassender und vergleichender Überblick: Thorsten Wald; Betreuer: Farwer; 9/96

Implementation eines unifikationsbasierten, nebenläufigen Systems: Frank Wienberg; Betreuer: Rainer Mackenthun; 1/95
Symmetrische platzbeschränkte Turingmaschinen: Safuat Hamdy; Betreuer: Dr. Bernd Krisig; 4/95
Von der Spezifikation direkt zur Implementierung am Beispiel der Anwendung eines Tätigkeits- und Informationssystems der Spezifikationsmethode Strukturierte Analyse und des Werkzeugs MS-Access 2.0: M. Yilmat; Betreuer: Prof. Dr. R. Valk; 5/95
Modellierung der Leistungserstellung eines Logistik-Unternehmens mit der Methode Strukturierte Analyse unter Einsatz des Werkzeugs System Architect: Jörg Rodenhagen; Betreuer: Prof. Dr. R. Valk; 9/95
Termersetzung in Aussagenlogik und rationalen Ausdrücken: J. Maas; Betreuer: Prof. Dr. M. Jantzen; 12/95

Objektorientierte Modellierung mit gefärbten Petrinetzen: Stefan Siegel; Betreuer: Daniel Moldt; 2/94
Modellierung eines Aufzugssystems mit Petrinetzen: Olaf Kummer; Betreuer: Daniel Moldt; 6/94

Zweiweg-Kellerautomaten: Marco Ladermann; Betreuer: Prof. Dr. M. Jantzen; 8/93
Synchronisationsfragen bei der verteilten Implementierung von Petrinetzen: Jörn Baasch; Betreuer: Prof. Dr. R. Valk; 9/93
Spezifikation mit gefärbten Petrinetzen am Beispiel des Börsenspiels: Margret Freund-Breuer und Olaf Fricke; Betreuer: Daniel Moldt; 9/93
Prototyping mit gefärbten Petrinetzen: Nicole Beckmann; Betreuer: Daniel Moldt; 11/93
Physically Motivated Axiomatic Concurrency Theory - A Posetless Approach: Mark-Oliver Stehr; Betreuer: Prof. Dr. J. Gruska; 11/93

Darstellung ereignisgesteuerter Proze�ketten (EPK) mit Hilfe von Petrinetzen: J. Rodenhagen; Betreuer: Prof. Dr. R. Valk, Dr. D. Hauschildt; 1/97
Objektorientierte Analyse mit gef�rbten Petrinetzen: C. Maier; Betreuer: Prof. Dr. R. Valk, Daniel Moldt; 4/97
Lineare Gleichungs- und Ungleichungssysteme: L�sungen und deren Komplexit�t: J. Bockenthin; Betreuer: Prof. Dr. R. Valk, Prof. Dr. R. Lang; 5/97
Strukturbisimulation auf h�heren Petrinetzen: H. St�rrle; Betreuer: Prof. Dr. R. Valk, Daniel Moldt; 8/97
Realisierung der verteilten Ausf�hrung von gef�rbten Petrinetzen: H. Biallas; Betreuer: Prof. Dr. R. Valk, Daniel Moldt; 10/97
Twistabschlu� von Sprachfamilien: J. Maas; Betreuer: Prof. Dr. R. Jantzen, Prof. Dr. Kudlek; 12/97

Axiomensysteme für die Theorie der Nebenläufigkeit: O. Kummer; Betreuer: Prof. Dr. R. Valk, Dr. D. Hauschildt; 2/96
Simplizität, Immunität und Unvollständigkeit in sublinearen Platzklassen: M. Ladermann; Betreuer: Prof. Dr. M. Jantzen, Prof. Dr. R. Valk; 3/96
Zyklische Ordnungen - Axiome und einfache Eigenschaften: M.-O. Stehr; Betreuer: Prof. Dr. R. Valk, Prof. Dr. M. Kudlek; 4/96
Struktureller Vergleich zwischen Konstrukten funktionaler Programmiersprachen und höheren Petrinetzen: M. Freund-Breuer; Betreuer: Prof. Dr. R. Valk, Dr. D. Hauschildt; 5/96
Ein Rahmenwerk zur Berechnung kanonischer Reduktionssysteme: J. Spieß; Betreuer: Prof. Dr. M. Jantzen, Prof. Dr. H. Züllighoven; 7/96

Die Strukturierte Analyse auf der Basis höherer Petrinetze: O. Fricke; Betreuer: Prof. Dr. R. Valk, D. Moldt; 6/95
Objektorientierter Entwurf gefärbter Petrinetze: S. Siegel; Betreuer: Prof. Dr. R. Valk, Dr. D. Hauschildt; 11/95

Grenzen des formalen Ansatzes der Informatik: Begründen sie einen Paradigmenwechsel?: D. Iliadis; Zweitbetreuer: Prof. Dr. R. Valk; 7/94

Abbildung nebenläufiger Algorithmen und Optimierung mit Hilfe von gefärbten Netzen: W. Meyenberg; Betreuer: Prof. Dr. R. Valk; 2/93
Entwicklung eines flexiblen Stundenplansystems unter Einsatz moderner Software-Werkzeuge: J. Penning, I. Peper, C. Petersen; Zweitbetreuer: Prof. Dr. M. Jantzen; 2/93
Geschichte und Entwicklung der Concurrency-Theorie: H. Müller; Erstbetreuer: Prof. Dr. R. Valk; Zweitbetreuer: Prof. Dr. C.A. Petri; 8/93
Generische Dienste für datenintensive Anwendungen: Iterationsabstraktion, Integritätsüberwachung, Fehlererholung: C. Niederee; Zweitbetreuer: Prof. Dr. R. Valk; 9/93
Nichtklassische Logiken: B. Farwer, P.-A. Kasten, A. Köster, M. Kopka; Betreuer: Prof. Dr. M. Jantzen; 12/93

Kausalit�t, Nebenl�ufigkeit und Konflikt in Elementaren Netzsystemen aus topologisch-relationaler Sicht: S. Haar; Gutachter: Prof. Dr. R. Valk; 10/97

Anarchie - Ein Leitbild für die Informatik?: R. Klischewski; Gutachter: Prof. Dr. R. Valk; 6/96
Höhere Petrinetze als Grundlage für Systemspezifikationen: D. Moldt; Gutachter: Prof. Dr. R. Valk; 8/96

Last Change: 17:40 05/19/2011