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)
2010book article/chapter in Proceedings
Computer ScienceFaculty of Engineering » Computer Science and Applied Cognitive Science
Title in English:
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets
Author:
Hermann, Frank;Corradini, Andrea;Ehrig, Hartmut;König, BarbaraUDE
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
- 0000-0002-4193-2889
- Other
- connected with university
Language of text:
English