OC-PM: analyzing object-centric event logs and process models · Study