Data Petri Nets meet Probabilistic Programming (Extended version)