Relating Process Models and Event Logs - 21 Conformance Propositions. · Study