Detection and quantification of flow consistency in business process models · Study