Anti-alignments in Conformance Checking – The Dark Side of Process Models

DOI10.1007/978-3-319-39086-4_15zbMath1346.68129OpenAlexW2274761815WikidataQ62039932 ScholiaQ62039932MaRDI QIDQ2822655

Thomas Chatain, Josep Carmona

Publication date: 4 October 2016

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/103958

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

The imprecisions of precision measures in process mining ⋮ Optimized SAT encoding of conformance checking artefacts

Uses Software

• Unnamed Item

Cites Work

• Unnamed Item
• Complexity results for 1-safe nets
• Conformance checking and diagnosis in process mining. Comparing observed and modeled processes
• Process Discovery Using Localized Events
• Process Mining
• Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits
• Theory and Applications of Satisfiability Testing

This page was built for publication: Anti-alignments in Conformance Checking – The Dark Side of Process Models