Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Arbeitsgruppe Allgemeine Netztheorie

Deutsche Version. This page is available in German only. Cette page n'existe qu'en Allemand. Ésta página sólo existe en Alemán.


Die Arbeitsgruppe Allgemeine Netztheorie am Arbeitsbereich TGI des Fachbereichs Informatik der Universität Hamburg beschäftigt sich mit der von Prof. Dr. Carl Adam Petri entwickelten Allgemeinen Netztheorie. (Womit sonst?)
Was ist die Allgemeine Netztheorie?

Mitglieder:
Uwe Fenske
Stefan Haar
Olaf Kummer
Peter Langner
Carsten Meyer-Lütgens
Hartmut Müller
Helga Pöhlsen
Mark-Oliver Stehr

Veröffentlichungen:

Hartmut Müller: Geschichte und Entwicklung der Concurrency Theorie. Diplomarbeit, Universität Hamburg, Fachbereich Informatik, 1993.

Mark-Oliver Stehr: Physically Motivated Axiomatic Concurrency Theory - A Posetless Approach , Studienarbeit, Fachbereich Informatik, Universität Hamburg, December 1993.

Mark-Oliver Stehr: Concurrency Theory of Cyclic and Acyclic Processes , Fachbereichsbericht FBI-HH-B-190/96, Universität Hamburg, Fachbereich Informatik, September 1996.

Olaf Kummer: Axiomensysteme für die Theorie der Nebenläufigkeit. Diplomarbeit, Universität Hamburg, Fachbereich Informatik, 1996.

Mark-Oliver Stehr: Zyklische Ordnungen - Axiome und einfache Eigenschaften , Diplomarbeit, Fachbereich Informatik, Universität Hamburg, 1996.

Olaf Kummer, Mark-Oliver Stehr: Petri's Axioms of Concurrency - A Selection of Recent Results , Proceedings of the 18th International Conference on Application and Theory of Petri Nets, Toulouse, June 23-27, 1997, Lecture Notes in Computer Science 1248, © Springer-Verlag , 1997

Veröffentlichungen in Vorbereitung:

Uwe Fenske, Stefan Haar, Olaf Kummer, Peter Langner, Carsten Meyer-Lütgens, Hartmut Müller, Helga Pöhlsen, Mark-Oliver Stehr, Rüdiger Valk: Concurrency Theory - A Petri Net View. Fachbereichsbericht, Universität Hamburg, Fachbereich Informatik.

Stefan Haar: Netzmorphismen und Temporale Relationen. Dissertation, Universität Hamburg, Fachbereich Informatik.
Letzte Änderung: 17:40 19.05.2011
Impressum