To access the full text documents, please follow this link: http://hdl.handle.net/2117/103958

Anti-alignments in conformance checking: the dark side of process models
Chatain, Thomas; Carmona Vargas, Josep
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Algebra, Boolean
Boolean algebra
Computation theory
Petri nets
Boolean formulae
Conformance checking
Current estimation
Handling process
Infinite state space
Process Modeling
Satisfiability
State-space explosion
Àlgebra booleana
info:eu-repo/semantics/submittedVersion
info:eu-repo/semantics/conferenceObject
Springer
         

Show full item record

Related documents

Other documents of the same author

Dongen, Boudewijn van; Carmona Vargas, Josep; Chatain, Thomas
Muñoz Gama, Jorge; Carmona Vargas, Josep; Van der Aalst, Wil M. P.
Carmona Vargas, Josep; Cortadella Fortuny, Jordi
Borrego, Diana; Gómez López, María Teresa; Carmona Vargas, Josep; Martínez Gasca, Rafael
Muñoz Gama, Jorge; Carmona Vargas, Josep; Aalst, Wil M.P. van der
 

Coordination

 

Supporters