Anti-Alignments in Conformance Checking - The Dark Side of Process Models - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Anti-Alignments in Conformance Checking - The Dark Side of Process Models


Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques su er from the wellknown state space explosion problem, hence handling process models exhibiting large or even in nite state spaces remains a challenge. One important metric in conformance checking is to asses the precision of the model with respect to the observed executions, i.e., characterize the ability of the model to produce behavior unrelated to the one observed. By avoiding the computation of the full state space of a model, current techniques only provide estimations of the precision metric, which in some situations tend to be very optimistic, thus hiding real problems a process model may have. In this paper we present the notion of anti- alignment as a concept to help unveiling traces in the model that may deviate signi cantly from the observed behavior. Using anti-alignments, current estimations can be improved, e.g., in precision checking.We show how to express the problem of nding anti-alignments as the satis ability of a Boolean formula, and provide a tool which can deal with large models eciently.
Fichier principal
Vignette du fichier
CC-pn16.pdf (775.23 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01408043 , version 1 (12-03-2017)


  • HAL Id : hal-01408043 , version 1


Thomas Chatain, Josep Carmona. Anti-Alignments in Conformance Checking - The Dark Side of Process Models. 37th International Conference on Applications and Theory of Petri Nets (PETRI NETS 2016), 2016, Torún, Poland. pp.240-258. ⟨hal-01408043⟩
121 View
183 Download


Gmail Mastodon Facebook X LinkedIn More