models are of central importance for BPM. Most prominently, process models define the behaviour that is performed to achieve … of process models serving different purposes. Existing work on consistency analysis builds upon behaviour equivalences … analysis of behaviour consistency that takes a fundamentally different approach. As a first step, an alignment between …