# Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach

arXiv: https://arxiv.org/abs/2111.13136 · HTML: https://mlsanity.com/paper/2111.13136/

## Key facts

- Cited by 4 papers in the map (data through 14 Oct 2026).
- Builds on 2 of its 20 references that are in the map.
- First posted on arXiv 25 Nov 2021.

## Builds on (most cited first, 2 of 2)

- [Conformance Checking Based on Multi-Perspective Declarative Process Models](https://mlsanity.com/paper/1503.04957/) (2015)
- [A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)](https://mlsanity.com/paper/1804.02316/) (2018)

## Built on by (most cited first, 4 of 4)

- [Conformance Checking for Less: Efficient Conformance Checking for Long Event Sequences](https://mlsanity.com/paper/2505.21506/) (2025)
- [DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications](https://mlsanity.com/paper/2602.03486/) (2026)
- [On the Hybrid Nature of ABPMS Process Frames and its Implications on Automated Process Discovery](https://mlsanity.com/paper/2604.22455/) (2026)
- [Supporting Autonomous Process Execution within a Multi-Perspective Constraint Frame via Numeric Planning](https://mlsanity.com/paper/2607.16738/) (2026)

## Abstract (arXiv)

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.