Universitaet Koblenz-Landau AG-VS
 

Ehemalige Arbeitsgruppe Verteilte Systeme

Herzlich Willkommen bei der ehemaligen 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.

Die Arbeitsgruppe beschäftigte sich mit True-Concurrency Semantiken von Petri-Netzen sowie molekularen Algorithmen auf der Basis von Splicing-Systemen.

This page in English.


Leiter

  • Prof. Dr. Lutz Priese (priese@uni-koblenz.de)


Ehemalige Mitarbeiter

  • Dipl. Inf. Monika Schuth
  • Dr. habil. Harro Wimmel
  • Dr. Katrin Erk


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: Frank Schmitt
Letzte Änderung: 04.08.2010