Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Autor
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ó
2016
Data de presentació
2016-06-19
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
240
Pàgina final
258
Editor
Springer
DOI
https://doi.org/10.1007/978-3-319-39086-4_15 Obrir en finestra nova
Repositori
http://hdl.handle.net/2117/103958 Obrir en finestra nova
URL
http://link.springer.com/chapter/10.1007%2F978-3-319-39086-4_15 Obrir en finestra nova
Resum
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...
Citació
Chatain, T., Carmona, J. Anti-alignments in conformance checking: the dark side of process models. A: International Conference on Application and Theory of Petri Nets and Concurrency. "Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016: Torun, Poland, June 19-24, 2016: proceedings". Torun: Springer, 2016, p. 240-258.
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

Participants

Arxius