Return to Article Details Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets Download Download PDF