Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets
GT-VMT, 2010.
@article{GT-VMT-2010-HermannCEK,
author = "Frank Hermann and Andrea Corradini and Hartmut Ehrig and Barbara König",
ee = "http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/415",
journal = "{Electronic Communications of the EASST}",
title = "{Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets}",
volume = 29,
year = 2010,
}