Gajewsky, M.

• Gajewsky, Maike; Parisi-Presicce, Francesco:
  On the Compatibility of Model and Model-Class Transformations. 2002.

• Gajewsky, Meike; Ehrig, Hartmut:
  The Petri Net Baukasten: An Overview. 2001.

• Padberg, J.; Gajewsky, M.:
  Rule-based refinement of Petri nets for modeling train control systems. 2000.

• Gajewsky, M.:
  The Expert View of the `Petri Net Baukasten'. 1999.

• Ehrig, Hartmut; Gajewsky, Maike; Parisi-Presicce, Francesco:
  High-Level Replacement Systems applied to Algebraic Specifications and Petri Nets. 1999.

• Ehrig, Hartmut; Gajewsky, Maike; Wolter, Uwe:
  From Abstract Data Types to Algebraic Development Techniques: a Shift of Paradigms. 1998.

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

• Padberg, J.; Gajewsky, M.:
  Using High-Level Replacement Systems to preserve Safety Properties in Place/Transition Net Transformations. 1998.

• Padberg, Julia; Gajewsky, Maike; Hoffmann, Kathrin:
  Incremental Development of Safety Properties in Petri Net Transformations. 1998.

• Ehrig, H.; Gajewsky, M.; Lembke, S.; Padberg, J.:
  Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application. 1997.

• Ehrig, H.; Gajewsky, M.; Padberg, J.:
  Action Nets and Abstract Statecharts in the Theory of High-Level Replacement Systems. 1997.

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

Back to the Petri Nets Bibliography