Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: WQO dichotomy for 3-graphs   We investigate data-enriched models, like Petri nets with data, where
executability of a transition is conditioned by a relation between data values
involved. Decidability status of various decision problems in such models may
depend on the structure of data domain. According to the WQO Dichotomy
Conjecture, if a data domain is homogeneous then it either exhibits a well
quasi-order (in which case decidability follows by standard arguments), or
essentially all the decision problems are undecidable for Petri nets over that
data domain. We confirm the conjecture for data domains being 3-graphs (graphs
with 2-colored edges). On the technical level, this results is a significant
step beyond known classification results for homogeneous structures.

14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
16
The categories of this paper are: stat
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg