Formalization of petri nets with individual tokens as basis for DPO net transformations Modica, Tony Gabriel, Karsten Hoffmann, Kathrin 2010 - ReposIt - frei zugänglich
Composition and Independence of High-Level Net Processes Ehrig, Hartmut Hoffmann, Kathrin Gabriel, Karsten Padberg, Julia 2009 - ReposIt