PN2SC Case Study: An EMF-IncQuery solution
Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth, István Ráth · Electronic Proceedings in Theoretical Computer Science · 2013
The paper presents a solution for the Petri-Net to Statecharts case study of the Transformation Tool Contest 2013, using EMF-INCQUERY and Xtend for implementing the model transformation.* This work was partially supported by the CERTIMOT (ERC_HU-09-01-2010-0003), the TÁMOP (4.2.2.B-10/1-2010-0009) projects.This research