https://9dok.net/document/zgw26lmv-constraint-checking-for-business-process-management-wolfgang-runte.html