Vés al contingut (premeu Retorn)

Anti-alignments in conformance checking: the dark side of process models

Chatain, T.; Carmona, J.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
37th International Conference on Application and Theory of Petri Nets and Concurrency
Any de l'edició
Data de presentació
Llibre d'actes
Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016: Torun, Poland, June 19-24, 2016: proceedings
Pàgina inicial
Pàgina final
DOI Obrir en finestra nova
Repositori Obrir en finestra nova
URL Obrir en finestra nova
Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the wellknown state space explosion problem, hence handling process models exhibiting large or even infinite 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 mod...
Paraules clau
Boolean Algebra, Computation Theory, Petri Nets, Boolean Formulae, Conformance Checking, Current Estimation, Handling Process, Infinite State Space, Process Modeling, Satisfiability, State-space Explosion
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals