Probabilistic Declarative Process Mining · Study