Maximova, Maria, Technische Universität Berlin, Germany
-
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 - Articles
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors
Abstract PDF -
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 - Articles
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.