|
|
|
  
|
|
|
|
|
Arbeitsgruppe Verteilte Systeme
Herzlich Willkommen bei der Arbeitsgruppe Verteilte Systeme an der Universität Koblenz, einer Forschungsgruppe des Instituts für Informatik und der Abteilung Theoretische Informatik unter der Leitung von Prof. Dr. Lutz Priese.Wir beschäftigen uns momentan mit True-Concurrency Semantiken von Petri-Netzen sowie molekularen Algorithmen auf der Basis von Splicing-Systemen.
Mitarbeiter
| Prof. Dr. Lutz Priese | (priese@uni-koblenz.de) |
| Harro Wimmel |
Aktuelle Forschungsschwerpunkte
- Semantik von Petri-Netzen:
-
Algebraische Charakterisierung von Petri-Netz Pomset Semantiken
Reguläre Pomset Sprachen
- Molekulare Algorithmen:
- Splicing-Systeme
- Anwendungen verteilter Systeme in der Bildverarbeitung im Labor Bilderkennen
Veröffentlichungen
-
Eine Liste der in den letzten Jahren erschienenen Berichte.
Vorträge
-
Eine Liste der ausstehenden oder kürzlich gehaltenen Vorträge.
Interessante Links
Auf dem Gebiet der Petri-Netze arbeitet auch die AG Petri-Netze der Universität Koblenz-Landau. Desweiteren bietet die Netz-Gruppe der Universität Aarhaus in Dänemark einen Startpunkt in die Welt der Petri-Netze mit Hinweisen zu weiteren Forschungsgruppen, Werkzeugen und Bibliographien sowie Informationen zu Veranstaltungen, der E-Mail-List, der Newsletter uvam.
Adresse
Die Arbeitsgruppe ist unter folgender Adresse zu erreichen:Prof. Dr. Lutz Priese
AG Verteilte Systeme
Universität Koblenz-Landau
Fachbereich Informatik
Universitätsstr. 1
56070 Koblenz
E-Mail:
priese@uni-koblenz.de
Telefon: (0261) 287 - 2729
Telefax: (0261) 287 - 2731
Editor: Mark Ross
Letzte Änderung: 23.07.03