Projects & Tools
1
Externally Funded Research Projects of the Group
- 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
Externally Funded Grants for Visiting Researchers
- Dr. Alexander Lavrov (Alexander-von-Humboldt-Stipendiat),
1996-2000 (earning his Habilitation in 2000).
- Dr. Igor Tarasyuk (DAAD-Stipendiat),
1996-1998.
3
Tools
