Implementing Petri Net Transformations using Graph Transformation Tools - Biermann, Enrico; Ermel, Claudia; Modica, Tony; Sylopp, Peggy (Electronic Communications of the EASST; Volume 14: Petri Nets and Graph Transformations 2008 ; 1863-2122 ; 10.14279/tuj.eceasst.14, 2009)