Transformations of Petri Nets - Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg (Electronic notes in theoretical computer science : ENTCS, 2006)