TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on $\mathcalM$-Functors
Zitatschlüssel MEE12
Autor Maria Maximova and Hartmut Ehrig and Claudia Ermel
Buchtitel Proc. of 5th Workshop on Petri Nets and Graph Transformation (PNGT)
Seiten 1-12
Jahr 2012
ISBN ISSN 1863-2122
Journal ECEASST
Jahrgang 51
Herausgeber Padberg, J. and Hoffmann, K.
Verlag European Association of Software Science and Technology
Zusammenfassung Recently, a formal relationship between Petri net and graph transformation systems has been established using the new framework of \Madh-functors $\Fadh: (\catC_1, \Madh_1) \fun (\catC_2, \Madh_2)$ between \Madh-adhesive categories. This new approach allows to translate transformations in $(\catC_1, \Madh_1)$ into corresponding transformations in $(\catC_2, \Madh_2)$ and, vice versa, to create transformations in $(\catC_1, \Madh_1)$ from those in $(\catC_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 $(\catC_1, \Madh_1)$ from corresponding properties of transformations in $(\catC_2, \Madh_2)$, where $(\catC_1, \Madh_1)$ are Petri nets with individual tokens and $(\catC_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.
Link zur Publikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe