Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Study of Parameterized-Chain networks   In areas such as computer software and hardware, manufacturing systems, and
transportation, engineers encounter networks with arbitrarily large numbers of
isomorphic subprocesses. Parameterized systems provide a framework for modeling
such networks. The analysis of parameterized systems is a challenge as some key
properties such as nonblocking and deadlock-freedom are undecidable even for
the case of a parameterized system with ring topology. In this paper, we
introduce \textit{Parameterized-Chain Networks} (PCN) for modeling of networks
containing several linear parameterized segments. Since deadlock analysis is
undecidable, to achieve a tractable subproblem we limit the behavior of
subprocesses of the network using our previously developed mathematical notion
`weak invariant simulation.' We develop a dependency graph for analysis of PCN
and show that partial and total deadlocks of the proposed PCN are characterized
by full, consistent subgraphs of the dependency graph. We investigate deadlock
in a traffic network as an illustrative example. This document contains all the
details and proofs of the study.

24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
30
The categories of this paper are: q-alg
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
8
The categories of this paper are: hep-ex
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
32
The categories of this paper are: atom-ph
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics