_:n3059af24cd0142988d00b550533faa2fxb38
<http://schema.org/description>
"Business process monitoring approaches have thus far mainly focused on\nmonitoring the execution of a process with respect to a single process model.\nHowever, in some cases it is necessary to consider multiple process\nspecifications simultaneously. In addition, these specifications can be\nprocedural, declarative, or a combination of both. For example, in the medical\ndomain, a clinical guideline describing the treatment of a specific disease\ncannot account for all possible co-factors that can coexist for a specific\npatient and therefore additional constraints may need to be considered. In some\ncases, these constraints may be incompatible with clinical guidelines,\ntherefore requiring the violation of either the guidelines or the constraints.\nIn this paper, we propose a solution for monitoring the interplay of hybrid\nprocess specifications expressed as a combination of (data-aware) Petri nets\nand temporal logic rules. During the process execution, if these specifications\nare in conflict with each other, it is possible to violate some of them. The\nmonitoring system is equipped with a violation cost model according to which\nthe system can recommend the next course of actions in a way that would either\navoid possible violations or minimize the total cost of violations."
<https://cdnjs.deepai.org/profile/fabio-patrizi>