@article{MEE12,
Title = {Transfer of Local Confluence and Termination between {P}etri Net and Graph Transformation Systems Based on $\mathcal{M}$-Functors},
Author = {Maria Maximova and Hartmut Ehrig and Claudia Ermel},
Booktitle = {Proc. of 5th Workshop on Petri Nets and Graph Transformation (PNGT)},
Pages = {1-12},
Year = {2012},
Isbn = {{ISSN 1863-2122}},
Journal = {ECEASST},
Volume = {51},
Editor = {Padberg, J. and Hoffmann, K.},
Publisher = {European Association of Software Science and Technology},
Abstract = {Recently, a formal relationship between Petri net and graph transformation systems has been established using the new framework of \Madh-functors $\Fadh: (\cat{C_1}, \Madh_1) \fun (\cat{C_2}, \Madh_2)$ between \Madh-adhesive categories. This new approach allows to translate transformations in $(\cat{C_1}, \Madh_1)$ into corresponding transformations in $(\cat{C_2}, \Madh_2)$ and, vice versa, to create transformations in $(\cat{C_1}, \Madh_1)$ from those in $(\cat{C_2}, \Madh_2)$. This is helpful because our tool for reconfigurable Petri nets, the RON-tool, performs the analysis of Petri net transformations by analyzing corresponding graph transformations using the AGG-tool. Up to now, this correspondence has been implemented as a converter on an informal level. The formal correspondence results given by our framework make the RON-tool more reliable. In this paper we extend this framework to the transfer of local confluence, termination and functional behavior. In particular, we are able to create these properties for transformations in $(\cat{C_1}, \Madh_1)$ from corresponding properties of transformations in $(\cat{C_2}, \Madh_2)$, where $(\cat{C_1}, \Madh_1)$ are Petri nets with individual tokens and $(\cat{C_2}, \Madh_2)$ typed attributed graphs. This allows us to apply the well-known critical pair analysis for typed attributed graph transformations supported by the AGG-tool in order to analyze these properties for Petri net transformations.},
Url = {http://journal.ub.tu-berlin.de/index.php/eceasst/issue/archive},
Keywords = {$\mathcal{M}$-adhesive transformation system, graph transformation, Petri net transformation, confluence, termination, functional behavior}
}