Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Homogeneous Equations of Algebraic Petri Nets   Algebraic Petri nets are a formalism for modeling distributed systems and
algorithms, describing control and data flow by combining Petri nets and
algebraic specification. One way to specify correctness of an algebraic Petri
net model $N$ is to specify a linear equation $E$ over the places of $N$ based
on term substitution, and coefficients from an abelian group $G$. Then, $E$ is
valid in $N$ iff $E$ is valid in each reachable marking of $N$ . Due to the
expressive power of Algebraic Petri nets, validity is generally undecidable.
Stable linear equations form a class of linear equations for which validity is
decidable. Place invariants yield a well-understood but incomplete
characterization of all stable linear equations. In this paper, we provide a
complete characterization of stability for the subclass of homogeneous linear
equations, by restricting ourselves to the interpretation of terms over the
Herbrand structure without considering further equality axioms. Based thereon,
we show that stability is decidable for homogeneous linear equations if $G$ is
a cyclic group.

21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
6
The categories of this paper are: astro-ph
26
The categories of this paper are: bayes-an
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
16
The categories of this paper are: stat
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int