01879nas a2200181   4500008004100000245009200041210006900133520125300202653002301455653002501478653000901503653001901512653002001531100002701551700002201578700002101600856007601621       2018                        eng d00aAligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning0 aAligning PartiallyOrdered ProcessExecution Traces and Models Usi3 aConformance checking is the problem of verifying if the actual executions of business processes, which are recorded by information systems in dedicated event logs, are compliant with a process model that encodes the process' constraints. Within conformance checking, alignment-based techniques can exactly pinpoint where deviations are observed. Existing alignment-based techniques rely on the assumption of a perfect knowledge of the order with which process' activities were executed in reality. However, experience shows that, due to logging errors and inaccuracies, it is not always possible to determine the exact order with which certain activities were executed. This paper illustrates an alignment-based technique where the perfect knowledge assumption of the execution's order is removed. The technique transforms the problem of alignment-based conformance checking into a planning problem encoded in PDDL, for which planners can find a correct solution in a finite amount of time. We implemented the technique as a software tool that is integrated with state-of-the-art planners. To showcase its practical relevance and scalability, we report on experiments with a real-life case study and several synthetic ones of increasing complexity.10aAutomated Planning10aConformance Checking10aPDDL10aProcess Mining10aTrace Alignment1 ade Leoni, Massimiliano1 aLanciano, Giacomo1 aMarrella, Andrea  uhttps://www.aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17739/1695101713nas a2200121   4500008004100000245009400041210006900135520126200204100002701466700002201493700002101515856005501536       2017                        eng d00aA Tool for Aligning Event Logs and Prescriptive Process Models through Automated Planning0 aTool for Aligning Event Logs and Prescriptive Process Models thr3 aIn Conformance Checking, alignment is the problem of detecting and repairing nonconformity between the actual execution of a business process, as recorded in an event log, and the model of the same process. Literature proposes solutions for the alignment problem that are implementations of planning algorithms built ad-hoc for the specific problem. Unfortunately, in the era of big data, these ad-hoc implementations do not scale sufficiently compared with well-established planning systems. In this paper, we tackle the above issue by presenting a tool, also available in ProM, to represent instances of the alignment problem as automated planning problems in PDDL (Planning Domain Definition Language) for which state-of-the-art planners can find a correct solution in a finite amount of time. If alignment problems are converted into planning problems, one can seamlessly update to the recent versions of the best performing automated planners, with advantages in term of versatility and customization. Furthermore, by employing several processes and event logs of different sizes, we show how our tool outperforms existing approaches of several order of magnitude and, in certain cases, carries out the task while existing approaches run out of memory.1 ade Leoni, Massimiliano1 aLanciano, Giacomo1 aMarrella, Andrea  uhttp://ceur-ws.org/Vol-1920/BPM_2017_paper_187.pdf