Externally Funded Research Projects of Eike Best

• 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 home page
• 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.

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.
• Dr. Johan Lilius (DAAD Visiting Professor), 1993 (one semester).
• Dr. Johan Lilius (DAAD Visiting Professor), 1992 (one semester).