F. Hermann, A. Corradini, H. Ehrig, and B. König, “Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets”, eceasst, vol. 29, Jul. 2010.