The Petri-Nets to Statecharts Transformation Case

Pieter Van Gorp
(Eindhoven University of Technology)
Louis M. Rose
(University of York)

This paper describes a case study for the sixth Transformation Tool Contest. The case is based on a mapping from Petri-Nets to statecharts (i.e., from flat process models to hierarchical ones). The case description separates a simple mapping phase from a phase that involves the step by step destruction Petri-Net elements and the corresponding construction of a hierarchy of statechart elements. Although the focus of this case study is on the comparison of the runtime performance of solutions, we also include correctness tests as well as bonus criteria for evaluating transformation language and tool features.

In Pieter Van Gorp, Louis M. Rose and Christian Krause: Proceedings Sixth Transformation Tool Contest (TTC 2013), Budapest, Hungary, 19-20 June, 2013, Electronic Proceedings in Theoretical Computer Science 135, pp. 16–31.
Published: 29th November 2013.

ArXived at: https://dx.doi.org/10.4204/EPTCS.135.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org