  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.
