Ermel, C.

• Ehrig, Karsten; Ermel, Claudia; Hänsgen, Stefan; Taentzer, Gabriele:
  Generation of visual editors as eclipse plug-ins. 2005.

• Ermel, Claudia; Taentzer, Gabriele; Bardohl, Roswitha:
  Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. 2005.

• Ermel, Claudia; Bardohl, Roswitha; Ehrig, Hartmut:
  Generation of Animation Views for Petri Nets in GenGED. 2003.

• Weber, H.; Ehrig, H.; Reisig, W.; Borusan, A.; Lembke, S.; Dehnert, J.; Weber, M.; Martens, A.; Padberg, J.; Ermel, C.; Qemali, A.:
  The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. 2003.

• Bardohl, Roswitha; Ermel, Claudia; Padberg, Julia:
  Transforming Specification Architectures by GenGED. 2002.

• Ermel, Claudia; Weber, Michael:
  Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten. 2001.

• Ermel, Claudia; Bardohl, R.; Ehrig, H.:
  Specification and Implementation of Animation Views for Petri Nets. 2001.

• Padberg, J.; Gajewsky, M.; Ermel, C.:
  Rule-based refinement of high-level nets preserving safety properties. 1998.

• Ermel, Claudia; Gajewsky, Maike:
  Expanding the Use of Structuring - Formal Justification for Working on Subnets. 1997.

• Padberg, J.; Gajewsky, M.; Ermel, C.:
  Expanding the Use of Structuring: Formal Justification for Working on Subnets. 1997.

• Ermel, Claudia; Padberg, Julia; Ehrig, Hartmut:
  Requirements Engineering of a Medical Information System. 1996.

Back to the Petri Nets Bibliography