Hermann, Frank, Andrea Corradini, Hartmut Ehrig, and Barbara König. “Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets”. Electronic Communications of the EASST 29 (July 21, 2010). Accessed October 22, 2024. https://eceasst.org/index.php/eceasst/article/view/1678.