Formalization of petri nets with individual tokens as basis for DPO net transformations Modica, Tony Gabriel, Karsten Hoffmann, Kathrin 2010 - ReposIt - frei zugänglich