Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems Padberg, Julia Hoffmann, Kathrin Gajewsky, Magdalena 2000 - ReposIt