presented at event Proceedings of the 10th International Conference on Foundations of Computer-Aided Process Design FOCAPD 2024 Conference