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) - e Ninth International Workshop on Graph Transformation and Visual Modeling Technique (GT-VMT), March 20-21 2010, Paphos, Cyprus - 2010 - (Electronic Communications of the EASST ; 29)
2010Buchaufsatz/Kapitel in Tagungsband
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft
Titel in Englisch:
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets
Autor*in:
Hermann, Frank;Corradini, Andrea;Ehrig, Hartmut;König, BarbaraUDE
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
- 0000-0002-4193-2889
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Sprache des Textes:
Englisch