Efficient Analysis of Permutation Equivalence of Graph Derivations ...
Reference
Frank Hermann, Andrea Corradini, Hartmut Ehrig, and Barbara König. Efficient analysis of permutation equivalence of graph derivations based on Petri nets. In Proc. of GT-VMT '10 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 29 of Electronic Communications of the EASST, 2010.
Suggested BibTeX entry:
@inproceedings{HCEK10,
author = {Frank Hermann and Andrea Corradini and Hartmut Ehrig and Barbara K{\"o}nig},
booktitle = {Proc. of GT-VMT '10 (Workshop on Graph Transformation and Visual Modeling Techniques)},
series = {Electronic Communications of the EASST},
title = {Efficient Analysis of Permutation Equivalence of Graph Derivations Based on {P}etri Nets},
volume = {29},
year = {2010}
}
