Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets