Projekte & Tools
1
Projekte der Abteilung
- Comete (Conception and Analysis of Mobile and Timed Systems), 2004-2005
Supported by DAAD (Deutscher Akademischer Austauschdienst)
in its PROCOPE programme.
- JIP (Java in PEP), 2001-2003
Supported by DAAD (Deutscher Akademischer Austauschdienst)
in its Germany/U.K. exchange programme.
- BAT (Box Algebra with Time), 1998-2001
Supported by DAAD (Deutscher Akademischer Austauschdienst)
in its ARC programme.
- PORTA (Partial Order Real-time Analysis), 1999-2002
Supported by DAAD (Deutscher Akademischer Austauschdienst)
in its PROCOPE programme
(Project Leader: Dr. Hans Fleischhack).
- POEM (Programming Environment Based on M-Nets), 1996-1997
Supported by DAAD (Deutscher Akademischer Austauschdienst)
in its PROCOPE programme
(Project Leader: Dr. Hans Fleischhack).
- ANT (Algebraic Net Theory), 1996-1999
Supported by DAAD (Deutscher Akademischer Austauschdienst)
in its ARC programme.
- PEP (A Programming Environment Based on Petri Nets), 1993-1999
Supported by DFG (Deutsche Forschungsgemeinschaft).
PEP's homepage
- FOMD (Formal Methods in Design of Distributed Systems), 1995-1997
Supported by Volkswagenstiftung in its Germany/Russia exchange programme.
- EXPRESS (Cooperation Network on Expressiveness of Languages for Concurrency), 1994-1996
Supported by the European Union in its Human Capital and Mobility programme.
- CALIBAN (Causal Calculi Based on Nets), 1992-1995
Supported by the European Union in its Basic Research Working Groups programme.
- DEMON (Design Methods Based on Nets), 1988-1991
Supported by the European Union in its Basic Research Actions programme.
2
Geförderte Gastaufenthalte
- Prof. Dr. Sok Su Ri (Alexander-von-Humboldt-Stiftung),
2005-2006.
- Dr. Alexander Lavrov (Alexander-von-Humboldt-Stipendiat),
1996-2000 (Habilitation in 2000).
- Dr. Igor Tarasyuk (DAAD-Stipendiat),
1996-1999 und Juli 2005 bis Januar 2006.
3
Tools
4
Projektgruppen und Fortgeschrittenen-Praktika
- 2006/2007 PG STETZ:
Studieneinstiegs-Test-Szenario. Alexander Drost,
Jan Christian Halfbrodt, Kristian Heidmann, Jens Meyer, Sven-Oliver
Meyer, Klaus Piech, Thomas Wegmann
- 2004/2005 PG P-UMLaut: Modelling,
Simulation, and Visual\ ization of Complex Systems. Christoph
Eichner, Eike Frost, Martin Hilscher, André Kaiser, Roland
Meyer, Mark Ross, Casjen Schnars, Ulrik Schrimpf, Tim Strazny
- 2003/2004 PG Quassel
entwickelt KerMod:
Ein moderationsunterstützendes Tool. Chirstan Ambraß,
Harry Egbers, Ortwin Escher, René Hess, Anke Mangels, Margarete Muhle
- 2000/2001 PG KoSI: Kooperative Spiele im
Internet. Rainer Englisch, Jan-Ole Janssen, Reinhard Kluge,
Jan-Christian Marinesse, Niklas Mehner, Julian Meier, Wolfgang Meyer,
Iris Najman, Tanja Schmedes, Timo Sticher
- 1999/2000 F-Praktikum Hellics: DNA based
Computing. Heiko Burchard, Andre Hackmann, Ernst Kretschmann,
Stefan Kühnapfel,
Astrid Rakow
- 1997/1998 (?) F-Praktikum Implementierung von Zeit-Petrinetzen.
Frank Nagel, Christian Stehno, Markus Wittwer
- 1997/1998 PG Iekos:
Entwurfswerkzeug für verteilte Systeme. Sven Brockmann,
Jens von Garrel, René Husmann, Michael Möller,
Andy Muthmann, Marco Oetken, Andreas Schultze, Josef Tapken,
Christian Wachtendorf
- 1993/1994 PG Stone. Peter Amthor, Matthias Damm, Uwe Ehrhardt,
Renate Lukas, Roland Majchszak, Reinhard Rust, Frank Sinnemann, Volkmar Stegmann,
Michael Stickan, Josef Tapken
- 1988/1989Nessi: Nets Simulation.
Hildegard Lamping, Jörg Lehners, Hergen Pargmann, Annemarie Reinfeldt,
Jörg Ritter, Thomas Schultz, André Seidel, Bernd Timmermann,
Jörg W"ahler, Malte Wenau, Ralf Wieting
