2000 character limit reached
Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT
Published 2 Dec 2013 in cs.SE | (1312.0351v1)
Abstract: 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.
Paper Prompts
Sign up for free to create and run prompts on this paper.