%0 Journal Article
%T Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT
%A Tassilo Horn
%J Computer Science
%D 2013
%I arXiv
%R 10.4204/EPTCS.135.11
%X 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.
%U http://arxiv.org/abs/1312.0351v1