Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut; König, Barbara:
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets
In: Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). - (Electronic Communications of the EASST ; 10) - 2010
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets
Autor(in):
Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2010
Erschienen in:
Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). - (Electronic Communications of the EASST ; 10) - 2010