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
- 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.
Last Change: 17:40 05/19/2011
Imprint/Disclaimer