Hermann, F.; Corradini, A.; Ehrig, H.; König, B. Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. ECEASST 2010, 29.