An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data
process mining manifesto .