Validation of Business Process Models Using Graph Databases. - Jaroslav Pokorný; Michal Valenta; Jirí Zikán (EJC, 2025)