Projet :

Prof. Dr. Valk, professeur
Dr. Carl Adam Petri, ancien professeur de honneur
Dr. Mark-Oliver Stehr, ancien chercheur associé
Dr. Olaf Kummer, ancien chercheur associé
Stefan Haar
Uwe Fenske

Durée: de 04/1994

Mots clés:

Concurrency-Theorie, Axiome, Elementare Netz-Systeme, Zyklische Ordnungen, Markierte Graphen

But:

Publications:

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.
Axiomensysteme für die Theorie der Nebenläufigkeit.
- Diplomarbeit, Universität Hamburg, Fachbereich Informatik, 1996.
- Logos Verlag, Berlin, 1996. ISBN 3-931216-28-4.
Mark-Oliver Stehr: Zyklische Ordnungen - Axiome und einfache Eigenschaften , Diplomarbeit, Fachbereich Informatik, Universität Hamburg, 1996.
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, 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

Dernière modification: 17:40 19.05.2011