activity
20142026
most citedReduction of Event Structures under History Preserving Bisimulation

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.SE2019

Scalable Alignment of Process Models and Event Logs: An Approach Based on Automata and S-Components

Daniel Reißner, Abel Armas-Cervantes, Raffaele Conforti +3

Given a model of the expected behavior of a business process and an event log recording its observed behavior, the problem of business process conformance checking is that of ident…