A Method for Mining Process Models With Indirect Dependencies via Petri Nets | IEEE Journals & Magazine | IEEE Xplore