Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Monitoring Hybrid Process Specifications with Conflict Management: The
  Automata-theoretic Approach   Business process monitoring approaches have thus far mainly focused on
monitoring the execution of a process with respect to a single process model.
However, in some cases it is necessary to consider multiple process
specifications simultaneously. In addition, these specifications can be
procedural, declarative, or a combination of both. For example, in the medical
domain, a clinical guideline describing the treatment of a specific disease
cannot account for all possible co-factors that can coexist for a specific
patient and therefore additional constraints may need to be considered. In some
cases, these constraints may be incompatible with clinical guidelines,
therefore requiring the violation of either the guidelines or the constraints.
In this paper, we propose a solution for monitoring the interplay of hybrid
process specifications expressed as a combination of (data-aware) Petri nets
and temporal logic rules. During the process execution, if these specifications
are in conflict with each other, it is possible to violate some of them. The
monitoring system is equipped with a violation cost model according to which
the system can recommend the next course of actions in a way that would either
avoid possible violations or minimize the total cost of violations.

27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
9
The categories of this paper are: nlin
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
14
The categories of this paper are: math-ph