Soundness in Object-centric Workflow Petri Nets

Open in new window