Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Groebner Basis Procedures for Testing Petri Nets   This paper contains introductory material on Petri nets and Groebner basis
theory and makes some observations on the relation between the two areas. The
aim of the paper is to show how Groebner basis procedures can be applied to the
problem of reachability in Petri nets, and to give details of an application to
testing models of navigational systems.

0
The categories of this paper are: hep-ph
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
11
The categories of this paper are: hep-lat