Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Encoding Incremental NACs in Safe Graph Grammars using Complementation   In modelling complex systems with graph grammars (GGs), it is convenient to
restrict the application of rules using attribute constraints and negative
application conditions (NACs). However, having both attributes and NACs in GGs
renders the behavioural analysis (e.g. unfolding) of such systems more
complicated. We address this issue by an approach to encode NACs using a
complementation technique. We consider the correctness of our encoding under
the assumption that the grammar is safe and NACs are incremental, and outline
how this result can be extended to unsafe, attributed grammars.

19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys