 | 2001 |
|---|
| 7 |       | Magdalena Gajewsky,
Hartmut Ehrig:
The »Petri Net Baukasten«: An Overview.
Unifying Petri Nets 2001: 26-53 |
| 6 | | Magdalena Gajewsky,
Francesco Parisi-Presicce:
On the Compatibility of Model and Model-Class Transformations.
WADT 2001: 109-127 |
| 5 |  | Julia Padberg,
Magdalena Gajewsky,
Claudia Ermel:
Rule-based refinement of high-level nets preserving safety properties.
Sci. Comput. Program. 40(1): 97-118 (2001) |
| 2000 |
|---|
| 4 | | Julia Padberg,
Kathrin Hoffmann,
Magdalena Gajewsky:
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.
FASE 2000: 249-265 |
| 1998 |
|---|
| 3 | | Julia Padberg,
Magdalena Gajewsky,
Claudia Ermel:
Rule-Based Refinement of High-Level Nets Preserving Safety Properties.
FASE 1998: 221-238 |
| 2 | | Julia Padberg,
Magdalena Gajewsky,
Kathrin Hoffmann:
Incremental Development of Safety Properties in Petri Net Transformations.
TAGT 1998: 410-425 |
| 1997 |
|---|
| 1 | | Hartmut Ehrig,
Magdalena Gajewsky,
Uwe Wolter:
From abstract data types to algebraic development techniques: A shift of paradigms.
WADT 1997: 1-17 |
