Bases Théoriques de l'Informatique
Arbeitsgruppe Allgemeine Netztheorie
|
|
|
|
|
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
- Stefan Haar
- 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
- Mark-Oliver Stehr: Physically Motivated Axiomatic Concurrency Theory - A Posetless Approach , Studienarbeit, Fachbereich Informatik, Universität Hamburg, December 1993.
- 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.