To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.
Problem in conversion from Heuristic net to Petri net
I'm having some problems understanding the result of the conversion from Heuristc net to Petri net.
Consider the simple example log  and use the Heuristics Miner on it, you will obtain a model where the first two activities are, correctly, in loop. Now convert this network into a Petri net. I'm not sure the new model represents the same process. For example, in the Petri net, there is a place (the starting one, I guess) that has no connection. Even if this place is connected to the transition A, I think it's not the same process. I'm using ProM 5.2.
I'm not sure it's a bug, maybe I'm just missing something...Thank you in advance for your interest
Andrea Burattin, PhD student
Process Mining Group
Department of Pure and Applied Mathematics University of Padua, Italy