State-Aware Object-Centric Process Mining: Enhancing OCEL 2.0 with Explicit State Transitions. | AMiner