Implementing Petri Net Transformations using Graph Transformation Tools - Biermann, Enrico; Ermel, Claudia; Modica, Tony; Sylopp, Peggy (Electronic Communications of the EASST, 2009)