Towards algorithmic and software solution for business process model analysis and correction.