A Method for Mining Process Models With Indirect Dependencies via Petri Nets · Study