Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automated Repair of Process Models with Non-Local Constraints Using
  State-Based Region Theory   State-of-the-art process discovery methods construct free-choice process
models from event logs. Consequently, the constructed models do not take into
account indirect dependencies between events. Whenever the input behaviour is
not free-choice, these methods fail to provide a precise model. In this paper,
we propose a novel approach for enhancing free-choice process models by adding
non-free-choice constructs discovered a-posteriori via region-based techniques.
This allows us to benefit from the performance of existing process discovery
methods and the accuracy of the employed fundamental synthesis techniques. We
prove that the proposed approach preserves fitness with respect to the event
log while improving the precision when indirect dependencies exist. The
approach has been implemented and tested on both synthetic and real-life
datasets. The results show its effectiveness in repairing models discovered
from event logs.

23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
2
The categories of this paper are: math