Discovering Object-centric Petri Nets · Study