Petri net-based object-centric processes with read-only data · Study