Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Compliance in Real Time Multiset Rewriting Models   The notion of compliance in Multiset Rewriting Models (MSR) has been
introduced for untimed models and for models with discrete time. In this paper
we revisit the notion of compliance and adapt it to fit with additional
nondeterminism specific for dense time domains. Existing MSR with dense time
are extended with critical configurations and non-critical traces, that is,
traces involving no critical configurations. Complexity of related {\em
non-critical reachability problem} is investigated. Although this problem is
undecidable in general, we prove that for balanced MSR with dense time the
non-critical reachability problem is PSPACE-complete.

18
The categories of this paper are: econ
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics
2
The categories of this paper are: math
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas