From abstract data types to algebraic development techniques: A shift of paradigms. - Hartmut Ehrig; Magdalena Gajewsky; Uwe Wolter (WADT, 1997)

Incremental Development of Safety Properties in Petri Net Transformations. - Julia Padberg; Magdalena Gajewsky; Kathrin Hoffmann (TAGT, 1998)

Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. - Julia Padberg; Kathrin Hoffmann; Magdalena Gajewsky (FASE, 2000)

The »Petri Net Baukasten«: An Overview. - Magdalena Gajewsky; Hartmut Ehrig (Unifying Petri Nets, 2001)

On the Compatibility of Model and Model-Class Transformations. - Magdalena Gajewsky; Francesco Parisi-Presicce (WADT, 2001)

Rule-based refinement of high-level nets preserving safety properties. - Julia Padberg; Magdalena Gajewsky; Claudia Ermel (Sci. Comput. Program., 2001)