Efficient process analysis of transformation systems based on Petri nets - Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut 1944-2016; König, Barbara (Technische Universität Berlin, 2010)