replaying history on process models for conformance checking and performance analysis .
business process management : concepts , languages , architectures .