Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Analysis of Probabilistic Basic Parallel Processes   Basic Parallel Processes (BPPs) are a well-known subclass of Petri Nets. They
are the simplest common model of concurrent programs that allows unbounded
spawning of processes. In the probabilistic version of BPPs, every process
generates other processes according to a probability distribution. We study the
decidability and complexity of fundamental qualitative problems over
probabilistic BPPs -- in particular reachability with probability 1 of
different classes of target sets (e.g. upward-closed sets). Our results concern
both the Markov-chain model, where processes are scheduled randomly, and the
MDP model, where processes are picked by a scheduler.

3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th
2
The categories of this paper are: math
26
The categories of this paper are: bayes-an
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex