Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT   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.

4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th