Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT

Tassilo Horn
(University Koblenz-Landau)

FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API.

This paper describes the FunnyQT solution to the TTC 2013 Petri-Nets to Statcharts Transformation Case. This solution has won the best overall solution award and the best efficiency award for this case.

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. 88–94.
Published: 29th November 2013.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: