Electronic Proceedings in Theoretical Computer Science (Nov 2013)

Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT

  • Tassilo Horn

DOI
https://doi.org/10.4204/eptcs.135.11
Journal volume & issue
Vol. 135, no. Proc. TTC 2013
pp. 88 – 94

Abstract

Read online

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.