|
|
Research Group Distributed Systems
Welcome to the former Research Group (RG) Distributed Systems at the University of Koblenz. The group was part of the Computer Science Department, section of Theoretical Computer Science. Chair of this section was Prof. Dr. Lutz Priese.Main research topics have been true-concurrency semantics of Petri nets and molecular algorithms, especially splicing systems.
Chair
- Prof. Dr. Lutz Priese (priese@uni-koblenz.de)
Former Members
- Dipl. Inf. Monika Schuth
- Dr. habil. Harro Wimmel
- Dr. Katrin Erk
Research Projects
- Semantics of Petri nets:
-
Algebraic characterisation of Petri net pomset semantics
Regular pomset languages
- Molecular Algorithms:
- Splicing systems
- Applications of distributed systems in image recognition in our Image Recognition Lab
Publications
-
A list of papers that have been published in the last few years.
Lectures
-
A list of recent and future lectures held at conferences etc.
Interesting Links
Another research group at our university working with Petri nets is the RG Petri-Netze. Further, the University of Aarhus in Denmark presents a link to the World of Petri nets, where more information can be found.
Address
Our research group can be reached under the following address:Prof. Dr. Lutz Priese
RG Distributed Systems
Universität Koblenz-Landau
Fachbereich Informatik
Universitätsstr. 1
56070 Koblenz
E-Mail:
priese@uni-koblenz.de
Telefon: +49 - 261 - 287 - 2729
Telefax: +49 - 261 - 287 - 2731
Editor: Frank Schmitt
Last change: 08/04/2010